3828 search results - page 362 / 766 » Proof-Based System Engineering Using a Virtual System Model |
203
click to vote
VRML
1999
ACM
15 years 11 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
226
click to vote
EWCBR
2004
Springer
16 years 3 days ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
197
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
225
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
In large web search engines the performance of Information Retrieval systems is a key issue. Block-based compression methods are often used to improve the search performance, but c...
165
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a general framework for multi-sensor object recognition through a discriminative probabilistic approach modelling spatial and temporal correlations. The alg...