13987 search results - page 628 / 2798 » The Two Guards Problem |
190
click to vote
TVLSI
2008
15 years 7 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
227
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
155
click to vote
MT
1998
15 years 7 months ago
1998
Sentence alignment is the problem of making explicit the relations that exist between the sentences of two texts that are known to be mutual translations. Automatic sentence align...
187
click to vote
TPDS
1998
15 years 7 months ago
1998
—Coordinated checkpointing simplifies failure recovery and eliminates domino effects in case of failures by preserving a consistent global checkpoint on stable storage. However, ...
212
click to vote
PAMI
2010
15 years 5 months ago
2010
—Stability (robustness) of feature selection methods is a topic of recent interest, yet often neglected importance, with direct impact on the reliability of machine learning syst...