1941 search results - page 258 / 389 » Reasoning about Computations Using Two-Levels of Logic |
125
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...
129
Voted
PODS
2003
ACM
16 years 3 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...
131
Voted
IUI
2009
ACM
16 years 19 days ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
150
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
139
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...