2996 search results - page 231 / 600 » Information Modeling in the Time of the Revolution |
213
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
216
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
170
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
190
click to vote
DSOM
2000
Springer
15 years 11 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
171
click to vote
DSD
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...