4451 search results - page 291 / 891 » Continuous model synthesis |
119
click to vote
AAAI
2010
15 years 8 months ago
2010
We carry out a comparative study of the expressive power of different ontologies of matter in terms of the ease with which simple physical knowledge can be represented. In particu...
139
click to vote
TOC
2008
15 years 6 months ago
2008
Abstract: We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time propor...
171
click to vote
WSC
1998
15 years 8 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
168
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
226
click to vote
TC
2010
15 years 1 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...