5550 search results - page 970 / 1110 » Different Approaches to Proof Systems |
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
192
click to vote
JCDL
2010
ACM
15 years 8 months ago
2010
ACM
Digital libraries must support assistive technologies that allow people with disabilities such as blindness to use, navigate and understand their documents. Increasingly, many doc...
188
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
186
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we discuss how a cognitive concept, causality, can be used for the conceptual underpinning of Virtual Reality Art installations. Causality plays an important role i...
235
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...