1757 search results - page 74 / 352 » Alternating Refinement Relations |
117
click to vote
VMCAI
2010
Springer
15 years 10 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...
113
Voted
DASFAA
2009
IEEE
15 years 7 months 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 ...
104
Voted
TSD
2007
Springer
15 years 6 months 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...
COSIT
2007
Springer
15 years 4 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...
100
click to vote
ASM
2008
ASM
15 years 2 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...