7529 search results - page 1181 / 1506 » The Modula-3 Type System |
177
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
182
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Pseudo-relevance feedback (PRF) via query-expansion has been proven to be effective in many information retrieval (IR) tasks. In most existing work, the top-ranked documents from...
175
click to vote
DIGITEL
2008
IEEE
16 years 1 months ago
2008
IEEE
: Games play a dual role: they test the player’s competence, and at the same time provide learning opportunities. They offer a simple form of a reward – the pleasure of playing...
147
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
184
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...