1002 search results - page 196 / 201 » Reasoning about Object Structures Using Ownership |
MOBISYS
2010
ACM
14 years 4 days ago
2010
ACM
Most current methods for 802.11-based indoor localization depend on surveys conducted by experts or skilled technicians. Some recent systems have incorporated surveying by users. ...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
MBEES
2010
13 years 11 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
IJSWIS
2006
13 years 9 months ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
AGP
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...