34181 search results - page 205 / 6837 » Computer system |
222
click to vote
EUC
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present a system, called U-interactive, that provides spontaneous interactions between human and surrounding objects in heterogenous ubiquitous computing environme...
168
click to vote
IWINAC
2007
Springer
16 years 1 months ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
154
click to vote
GI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
216
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...