5414 search results - page 839 / 1083 » Exploratory Model Building |
176
click to vote
HRI
2006
ACM
16 years 18 days ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....
164
click to vote
MIR
2006
ACM
16 years 18 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
179
click to vote
ICFEM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
179
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
201
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...