3206 search results - page 140 / 642 » How minds can be computational systems |
166
click to vote
JSW
2008
15 years 6 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
131
click to vote
EUROITV
2007
Springer
16 years 9 days ago
2007
Springer
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
165
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
178
click to vote
ICAC
2008
IEEE
16 years 18 days ago
2008
IEEE
Virtualization and consolidation are two complementary techniques widely adopted in a global strategy to reduce system management complexity. In this paper we show how two simple ...
174
Voted
AB
2007
Springer
16 years 10 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...