1757 search results - page 74 / 352 » Alternating Refinement Relations |
177
click to vote
VMCAI
2010
Springer
16 years 3 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...
177
click to vote
DASFAA
2009
IEEE
16 years 29 days ago
2009
IEEE
Keyword search and database query are two ways for retrieving data in real world settings. In this demonstration, we show SUITS, a novel search interface over relational databases ...
158
click to vote
TSD
2007
Springer
16 years 8 days ago
2007
Springer
We present a study of the prosody – seen in a broader sense – that supports the theory of the interrelationship function of speech. “Pure emotions” are meant to show a rela...
161
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a methodology of how to use a top-level ontology to create a domain ontology from existing scientific texts by (1) identifying informal definitions of domain-s...
175
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...