1356 search results - page 135 / 272 » A variable-free dynamic semantics |
182
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
177
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present GATMO (Generalized Approach to Tracking Movable Objects), a system for localization and mapping that incorporates the dynamic nature of the environment while maintai...
188
click to vote
ASWEC
2005
IEEE
16 years 1 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
208
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
210
click to vote
AAAI
2008
15 years 8 months ago
2008
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...