752 search results - page 103 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
113
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
128
Voted
TREC
2001
15 years 5 months ago
2001
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...
155
Voted
JCB
2006
15 years 3 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
138
Voted
ENTCS
2006
15 years 3 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
136
click to vote
IS4TH
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...