3765 search results - page 274 / 753 » Qualitative Action Systems |
194
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...
200
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
170
click to vote
ENC
2007
IEEE
16 years 1 months ago
2007
IEEE
Searchius is a collaborative search engine that produces search results based solely on user provided web-related data. We discuss the architecture of this system and how it compa...
190
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
189
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...