Sciweavers

4250 search results - page 261 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
SEFM
2005
IEEE
15 years 6 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
98
Voted
EMNLP
2006
15 years 2 months ago
Unsupervised Discovery of a Statistical Verb Lexicon
This paper demonstrates how unsupervised techniques can be used to learn models of deep linguistic structure. Determining the semantic roles of a verb's dependents is an impo...
Trond Grenager, Christopher D. Manning
84
Voted
MODELS
2007
Springer
15 years 6 months ago
Statechart Development Beyond WYSIWYG
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
Steffen Prochnow, Reinhard von Hanxleden
136
Voted
CVPR
2012
IEEE
13 years 3 months ago
Weak attributes for large-scale image retrieval
Attribute-based query offers an intuitive way of image retrieval, in which users can describe the intended search targets with understandable attributes. In this paper, we develop...
Felix X. Yu, Rongrong Ji, Ming-Hen Tsai, Guangnan ...
102
Voted
AOSD
2006
ACM
15 years 6 months ago
Presenting crosscutting structure with active models
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
Wesley Coelho, Gail C. Murphy