3238 search results - page 186 / 648 » On the Computational Interpretation of Negation |
153
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
170
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
171
click to vote
IFIP
2007
Springer
16 years 21 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
158
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
209
click to vote
AUSAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...