11612 search results - page 1924 / 2323 » Human Computer Confluence |
175
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
185
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
171
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
158
click to vote
ECAL
2005
Springer
16 years 11 days ago
2005
Springer
Recently, all the human genes were identified. But understanding the functions coded in the genes is of course a much harder problem. We are used to view DNA as some sort of a comp...
158
click to vote
EMMCVPR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...