1581 search results - page 180 / 317 » Mechanizing Inductive Reasoning |
180
click to vote
PKDD
2009
Springer
16 years 27 days ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
179
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
152
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
170
click to vote
MUE
2007
IEEE
16 years 19 days ago
2007
IEEE
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
176
click to vote
MKM
2007
Springer
16 years 14 days ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....