2954 search results - page 68 / 591 » Beyond |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
ISMIR
2000
Springer
14 years 1 months ago
2000
Springer
This presentation will focus primarily on work being done at Indiana University in the area of digital music libraries, with some discussion of related efforts. Indiana University...
MABS
2000
Springer
14 years 1 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
PADL
2000
Springer
14 years 1 months ago
2000
Springer
PPSN
2000
Springer
2000
Springer
Genetic Programming and Domain Knowledge: Beyond the Limitations of Grammar-Guided Machine Discovery
14 years 1 months ago