Sciweavers

6431 search results - page 163 / 1287
» Model Building by Resolution
Sort
View
IJCAI
2007
15 years 7 months ago
Building Structure into Local Search for SAT
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
Duc Nghia Pham, John Thornton, Abdul Sattar
TLT
2008
90views more  TLT 2008»
15 years 6 months ago
Group Scribbles to Support Knowledge Building in Jigsaw Method
The jigsaw method empowers students to build their own knowledge through successive engagement through interactions in original group discussions and in expert group discussions. H...
Chee-Kit Looi, Chiu-Pin Lin, Kuo-Ping Liu
CGF
2005
84views more  CGF 2005»
15 years 6 months ago
Perceptual Evaluation of Impostor Representations for Virtual Humans and Buildings
In large-scale simulations involving complex scenes, such as cities inhabited by crowds, simplifications are almost always necessary to achieve interactive frame-rates. Level of D...
John Hamill, Rachel McDonnell, Simon Dobbyn, Carol...
AROBOTS
2004
205views more  AROBOTS 2004»
15 years 6 months ago
Building Terrain-Covering Ant Robots: A Feasibility Study
Robotics researchers have studied robots that can follow trails laid by other robots. We, on the other hand, study robots that leave trails in the terrain to cover closed terrain r...
Jonas Svennebring, Sven Koenig
CIKM
2010
Springer
15 years 5 months ago
Building a semantic representation for personal information
A typical collection of personal information contains many documents and mentions many concepts (e.g., person names, events, etc.). In this environment, associative browsing betwe...
Jinyoung Kim, Anton Bakalov, David A. Smith, W. Br...