4799 search results - page 720 / 960 » Model Based Requirements Engineering for Embedded Software |
160
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
206
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
154
click to vote
ECTEL
2007
Springer
16 years 21 days ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
182
click to vote
TREC
2003
15 years 7 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
165
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Web image search using text queries has received considerable attention. However, current state-of-the-art approaches require training models for every new query, and are therefore...