1101 search results - page 203 / 221 » Forcing in proof theory |
AI
1998
Springer
13 years 7 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Our objective is to improve the performance of keyword based image search engines by re-ranking their baseline results. To this end, we address three limitations of existing searc...
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
12 years 3 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...