1002 search results - page 175 / 201 » Reasoning about Object Structures Using Ownership |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ICCV
2009
IEEE
13 years 7 months ago
2009
IEEE
Recognizing human action in non-instrumented video is a challenging task not only because of the variability produced by general scene factors like illumination, background, occlu...
GI
2009
Springer
13 years 7 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
AAAI
2007
14 years 6 days ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
In order to develop intelligent systems that attain the trust of their users, it is important to understand how users perceive such systems and develop those perceptions over time...