Sciweavers

5363 search results - page 863 / 1073
» Building the Cerebellum in a Computer
Sort
View
AAAI
2006
15 years 8 months ago
Fast SAT-based Answer Set Solver
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
ACE
2004
199views Education» more  ACE 2004»
15 years 8 months ago
VELNET (Virtual Environment for Learning Networking)
The problems of providing a real, physical specialist laboratory to teach computer networking such as, the lack of funding and physical space and the risks and threats to the netw...
Bruce Kneale, Ain Y. De Horta, Ilona Box
AAAI
2006
15 years 8 months ago
From Pigeons to Humans: Grounding Relational Learning in Concrete Examples
We present a cognitive model that bridges work in analogy and category learning. The model, Building Relations through Instance Driven Gradient Error Shifting (BRIDGES), extends A...
Marc T. Tomlinson, Bradley C. Love
ACSW
2004
15 years 8 months ago
Cost-Efficient Mining Techniques for Data Streams
A data stream is a continuous and high-speed flow of data items. High speed refers to the phenomenon that the data rate is high relative to the computational power. The increasing...
Mohamed Medhat Gaber, Shonali Krishnaswamy, Arkady...
AIPS
2006
15 years 8 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli