1496 search results - page 236 / 300 » Definability of Initial Segments |
159
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...
132
Voted
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
146
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
In this paper I describe the Associative PDA 2.0, a mobile system for Personal Information Management (PIM), based on an associative information network. In addition to associate ...
170
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
146
click to vote
STOC
2006
ACM
16 years 5 months ago
2006
ACM
A common thread in all the recent results concerning the testing of dense graphs is the use of Szemer?edi's regularity lemma. In this paper we show that in some sense this is...