1992 search results - page 352 / 399 » Model Based Testing with Labelled Transition Systems |
127
Voted
CONNECTION
2010
14 years 12 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
135
click to vote
WEBDB
2009
Springer
15 years 9 months ago
2009
Springer
Linguists and geographers are more and more interested in route direction documents because they contain interesting motion descriptions and language patterns. A large number of s...
148
click to vote
MM
2009
ACM
15 years 7 months ago
2009
ACM
Content Based Image Retrieval (CBIR) has become one of the most active research areas in computer science. Relevance feedback is often used in CBIR systems to bridge the semantic ...
119
click to vote
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
We address the texture level-of-detail problem for extremely large surfaces such as terrain during realtime, view-dependent rendering. A novel texture hierarchy is introduced base...
100
Voted
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...