3623 search results - page 563 / 725 » Functionally Modeled User Interfaces |
164
Voted
EVOW
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...
139
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
122
click to vote
SIGGRAPH
1991
ACM
15 years 6 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
158
click to vote
AAAI
1998
15 years 4 months ago
1998
The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
125
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...