1767 search results - page 132 / 354 » An Integrated Model for Cellular Analysis |
163
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This paper deals with the representation of document models used in the field of document recognition. A novel formalism called generalized n-gram is presented, which is shown to b...
190
click to vote
OPODIS
2004
15 years 7 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
150
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
162
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
167
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...