5189 search results - page 792 / 1038 » Modeling architectural patterns using architectural primitiv... |
220
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Given a query image of an object, our objective is to retrieve all instances of that object in a large (1M+) image database. We adopt the bag-of-visual-words architecture which ha...
191
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
232
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
196
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
273
click to vote
ACSC
2010
IEEE
15 years 2 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...