7366 search results - page 723 / 1474 » Development of the Information Systems Implementation Resear... |
138
click to vote
CCE
2008
15 years 7 months ago
2008
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
208
click to vote
JOT
2008
15 years 7 months ago
2008
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...
201
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
167
click to vote
ROBOCUP
2004
Springer
16 years 18 days ago
2004
Springer
We describe a new method for detecting features on a marked RoboCup field. We implemented the framework for robots with omnidirectional vision, but the method can be easily adapte...
162
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...