11436 search results - page 84 / 2288 » Modeling Real Reasoning |
102
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
131
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
104
Voted
IJCAI
2007
15 years 2 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
84
Voted
ANSS
1996
IEEE
15 years 5 months ago
1996
IEEE
104
click to vote
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...