1660 search results - page 179 / 332 » A Behavior Model for Next Generation Test Systems |
217
Voted
CA
2002
IEEE
16 years 11 days ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
185
click to vote
USENIX
2008
15 years 9 months ago
2008
As Internet services become ubiquitous, the selection and management of diverse server platforms now affects the bottom line of almost every firm in every industry. Ideally, such ...
229
Voted
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
239
Voted
IJCAI
2001
15 years 8 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
203
Voted
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...