Sciweavers

307 search results - page 24 / 62
» Beyond Frontier Exploration
Sort
View
AMAI
2005
Springer
14 years 11 months ago
Toward leaner binary-clause reasoning in a satisfiability solver
Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...
Allen Van Gelder
FDL
2007
IEEE
15 years 6 months ago
An Integrated SystemC Debugging Environment
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
Frank Rogin, Christian Genz, Rolf Drechsler, Steff...
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 4 months ago
An Experiment in Internet-Based, Human-Assisted Robotics
: This paper describes an experimental exploration in Internet-based control of robots. The motivation of this work is that Internet communications can be exploited to achieve grea...
Lung Ngai, Wyatt S. Newman, Vincenzo Liberatore
JVCA
2006
134views more  JVCA 2006»
14 years 11 months ago
Multimodal expression in virtual humans
This work proposes a real-time virtual human multimodal expression model. Five modalities explore the affordances of the body: deterministic, non-deterministic, gesticulation, faci...
Celso de Melo, Ana Paiva
ACL
2010
14 years 9 months ago
Inducing Domain-Specific Semantic Class Taggers from (Almost) Nothing
This research explores the idea of inducing domain-specific semantic class taggers using only a domain-specific text collection and seed words. The learning process begins by indu...
Ruihong Huang, Ellen Riloff