9006 search results - page 1475 / 1802 » Modeling Software |
145
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
109
click to vote
DAGSTUHL
2010
15 years 6 months ago
2010
Many visual representations for trees have been developed in information and software visualization. One of them are cone trees, a well-known three-dimensional representation for ...
149
click to vote
LREC
2010
15 years 6 months ago
2010
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...
142
click to vote
GRAPP
2008
15 years 6 months ago
2008
This paper presents a method for normal map generation in the GPU. These normal maps are generated from a high resolution mesh and can be applied to any simplification of this mes...
134
click to vote
HCI
2007
15 years 6 months ago
2007
This paper discusses the use of cognitive models as augmented metacognition on task allocation for tasks requiring visual attention. In the domain of naval warfare, the complex and...