3719 search results - page 659 / 744 » RACER System Description |
171
click to vote
ENTCS
2010
15 years 2 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
140
click to vote
IANDC
2010
15 years 2 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
176
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
100
click to vote
IJIM
2010
15 years 2 months ago
2010
This paper presents a description of an interactive satellite TV based mobile learning (STV-ML) framework, in which a satellite TV station is used as an integral part of a comprehe...
190
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...