4693 search results - page 223 / 939 » Verifying Hybrid Systems |
176
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
200
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
179
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
174
click to vote
ACAL
2007
Springer
16 years 23 days ago
2007
Springer
Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (anti...
166
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We report on our on-going effort to build an adaptive driver support system, Driver AdvocateTM , merging various AI techniques, in particular, agents, ontology, production systems...