3441 search results - page 138 / 689 » Intelligent Computation of Presentation Documents |
145
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
143
click to vote
IEEEICCI
2006
IEEE
15 years 10 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
158
click to vote
IEAAIE
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
131
Voted
FLAIRS
2007
15 years 7 months ago
2007
We present an annotation method for developing a model of children’s comprehension that differentiates between their recall for the objective content of a story and inferred con...
127
click to vote
AAAI
2010
15 years 6 months ago
2010
This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in repeated games with discounting. The process starts with a s...