1514 search results - page 296 / 303 » Cues to Common Knowledge |
KDD
2010
ACM
13 years 6 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Todayâ...
KI
2010
Springer
13 years 6 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
LOGCOM
2010
13 years 6 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
MIAR
2010
IEEE
13 years 6 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...