Sciweavers

790 search results - page 61 / 158
» Recommender systems for the conference paper assignment prob...
Sort
View
ENTCS
2006
113views more  ENTCS 2006»
14 years 10 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
CORR
1999
Springer
115views Education» more  CORR 1999»
14 years 9 months ago
The Symbol Grounding Problem
: There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This pa...
Stevan Harnad
MMS
2006
14 years 9 months ago
qWixP, a Qt-based, Wireless Information Exchange Platform
: Due to technological advances, wireless personal digital assistants (PDAs) are becoming quite popular. However, it seems as if none of the existing applications fully exploits th...
Ralf Salomon, Holger Harms, Frank Reichenbach, Tho...
INFOCOM
2007
IEEE
15 years 4 months ago
Load Balancing in Large-Scale RFID Systems
A radio frequency identifier (RFID) system consists of inexpensive, uniquely identifiable tags that are mounted on physical objects, and readers that track these tags (and hence...
Qunfeng Dong, Ashutosh Shukla, Vivek Shrivastava, ...
HICSS
2010
IEEE
187views Biometrics» more  HICSS 2010»
14 years 11 months ago
Navigation Support for Mobile Learning
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
Christoph Göth, Gerhard Schwabe