1356 search results - page 135 / 272 » A variable-free dynamic semantics |
139
click to vote
POPL
2012
ACM
13 years 11 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...
130
Voted
ICRA
2009
IEEE
15 years 10 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...
146
click to vote
ASWEC
2005
IEEE
15 years 9 months 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...
165
Voted
AGENTCL
2003
Springer
15 years 9 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...
176
Voted
AAAI
2008
15 years 6 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. ...