2989 search results - page 229 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
92
Voted
TCAD
2008
15 years 2 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
147
Voted
NIPS
2004
15 years 4 months ago
2004
We consider the problem of geometrical surface reconstruction from one or several images using learned shape models. While humans can effortlessly retrieve 3D shape information, t...
130
Voted
DILS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Microarrays are one of the latest breakthroughs in experimental molecular biology. Thousands of different research groups generate tens of thousands of microarray gene e...
127
Voted
DIS
2006
Springer
15 years 6 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
120
Voted
WSC
2008
15 years 5 months ago
2008
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...