10159 search results - page 462 / 2032 » System Design Validation Using Formal Models |
147
click to vote
CCE
2008
15 years 5 months ago
2008
A central problem in bioinformatics and systems biology is the selection of appropriate models in a rational and systematic way. This fundamentally combinatorial problem can be re...
187
click to vote
DOLAP
2005
ACM
15 years 6 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
135
click to vote
CAISE
2007
Springer
15 years 11 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
103
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
135
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We describe a novel approach for 3D ear biometrics using video. A series of frames are extracted from a video clip and the region-of-interest (ROI) in each frame is independently ...