5414 search results - page 855 / 1083 » Exploratory Model Building |
132
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
134
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
The temporal alignment of nongated slice-sequences acquired at different axial positions in the living embryonic zebrafish heart permits the reconstruction of dynamic, three-dimen...
173
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Brain surface conformal mapping has been studied intensively. In this paper, we propose a method that computes a conformal mapping from a multiply connected mesh to the so-called ...
167
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
157
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Automatic categorization of user queries is an important component of general purpose (Web) search engines, particularly for triggering rich, query-specific content and sponsored ...