1563 search results - page 161 / 313 » An Information Theoretic Approach to Statistical Shape Model... |
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
152
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
162
click to vote
PODS
2012
ACM
13 years 9 months ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...
195
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Many important high throughput projects use in situ hybridization and may require the analysis of images of spatial cross sections of organisms taken with cellular lev...
168
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The increasing amount of communication between individuals in e-formats (e.g. email, Instant messaging and the Web) has motivated computational research in social network analysis...