1247 search results - page 175 / 250 » Reasoning about Function Objects |
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
ADBIS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The need for location-based services has motivated an important research effort in the efficient processing of location-dependent queries. Most of the existing approaches...
AGI
2008
14 years 11 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
WICSA
2008
14 years 11 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
CLIMA
2004
14 years 11 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...