Sciweavers

4440 search results - page 599 / 888
» The space of design
Sort
View
IJCAI
2007
15 years 8 months ago
Arc Consistency during Search
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott S...
NIPS
2007
15 years 8 months ago
Spatial Latent Dirichlet Allocation
In recent years, the language model Latent Dirichlet Allocation (LDA), which clusters co-occurring words into topics, has been widely applied in the computer vision field. Howeve...
Xiaogang Wang, Eric Grimson
ATAL
2010
Springer
15 years 8 months ago
Learning multirobot joint action plans from simultaneous task execution demonstrations
The central problem of designing intelligent robot systems which learn by demonstrations of desired behaviour has been largely studied within the field of robotics. Numerous archi...
Murilo Fernandes Martins, Yiannis Demiris
AR
2010
86views more  AR 2010»
15 years 7 months ago
Impact of Animal-Like Features on Emotion Expression of Robot Head EDDIE
This article investigates the influence of animal-like features (ears of a dragon lizard and crown of a cockatoo) and their pose variations on the quality of emotion expression of...
Kolja Kühnlenz, Stefan Sosnowski, Martin Buss
ASE
2008
102views more  ASE 2008»
15 years 7 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce