3348 search results - page 561 / 670 » Around and Around |
225
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
222
click to vote
JIT
2004
Springer
15 years 12 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
154
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
184
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
187
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...