1054 search results - page 160 / 211 » Models for automatic generation of safety-critical real-time... |
136
click to vote
JMM2
2006
15 years 1 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
131
click to vote
WEBI
2009
Springer
15 years 8 months ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...
162
click to vote
ICWS
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
138
click to vote
ESWA
2006
15 years 1 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
131
click to vote
ECBS
1999
IEEE
15 years 6 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...