1581 search results - page 196 / 317 » Mechanizing Inductive Reasoning |
150
click to vote
TREC
2007
15 years 4 months ago
2007
This paper reports on Lymba Corporation’s (a spinoff of Language Computer Corporation) participation in the TREC 2007 Question Answering track. An overview of the PowerAnswer 4 ...
118
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
120
click to vote
CN
2010
15 years 3 months ago
2010
With the increased application of wireless sensor networks (WSNs) to military, commercial, and home environments, securing the data in the network has become a critical issue. Seve...
153
click to vote
JSS
2006
15 years 3 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
162
click to vote
IJWET
2007
15 years 2 months ago
2007
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...