منابع مشابه
Mirror, Mirror in My Hand
Since Pnueli's seminal paper in 1977, Temporal Logic has been used as a formalism for specifying and verifying the correctness of reactive systems. In this paper, we show that, besides its expressive power, Temporal Logic enjoys a very strong structural property: it is categorical on processes. That is, we show how temporal specifications (as theories) can be embedded in categories of process b...
متن کاملHow your hand drives my eyes.
When viewing object-related hand actions people make proactive eye movements of the same kind as those made when performing such actions. Why is this so? It has been suggested that proactive gaze when viewing a given hand action depends on the recruitment of motor areas such as the ventral premotor (PMv) cortex that would be involved in the execution of that action. However, direct evidence for...
متن کاملArabic in my hand: small-footprint synthesis of egyptian arabic
The research described in this paper addresses the dual concerns of synthesis of Arabic, a language that has shot to prominence in the past few years, and synthesis on a handheld device, realization of which presents difficult software engineering problems. Our system was developed in conjunction with the DARPA BABYLON project, and has been integrated with English synthesis, English and Arabic ...
متن کاملAcute Deep Hand Burns Covered by a Pocket Flap-Graft
OBJECTIVE We evaluated the long-term outcome of the "pocket flap-graft" technique, used to cover acute deep burns of the dorsum of the hand, and analyzed surgical alternatives. METHODS This was a 6-year, retrospective study of 8 patients with extensive burns and 1 patient with a single burn (11 hands in all) treated by defatted abdominal wall pockets. We studied the medical records of the pat...
متن کاملPocket, Bag, Hand, etc. - Automatically Detecting Phone Context through Discovery
Most top end smart phones come with a handful of sensors today. We see this growth continuing over the next decade with an explosion of new distributed sensor applications supporting both personal sensing with local use (e.g., healthcare) to distributed sensing with large scale community (e.g., air quality, stress levels and well being), population and global use. One fundamental building block...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Society for Art and Science
سال: 2004
ISSN: 1347-2267
DOI: 10.3756/artsci.3.244