6020 search results - page 187 / 1204 » A New Approach to Model Counting |
121
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We have studied two approaches to the modeling of bubbly and cavitating fluids. The first approach is based on the direct numerical simulation of gas bubbles using the interface ...
146
click to vote
SEM
2004
Springer
15 years 10 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
124
Voted
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
An important problem in intelligent environments is how the system can identify and model users’ activities. This paper describes a new technique for identifying correlations be...
131
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
154
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a new approach to partial parsing of context-free structures. The approach is based on Markov Models. Each layer of the resulting structure is represented by i...