8009 search results - page 347 / 1602 » cans 2005 |
197
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
210
click to vote
APAL
2005
15 years 6 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
156
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We describe a new technique that uses active scene illumination to perform foreground-background segmentation and recover partial HDR information. We explore the fact that relativ...
229
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
Our main result is a reduction from worst-case lattice problems such as GAPSVP and SIVP to a certain learning problem. This learning problem is a natural extension of the `learnin...
156
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...