8695 search results - page 1263 / 1739 » Making the Complex Simple |
135
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
156
click to vote
COCOON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The supply chain between manufacturers and retailers always includes transshipments through a network of locations. A major challenge in making demand meet supply has bee...
187
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The randomness of iris pattern makes it one of the most reliable biometric traits. On the other hand, the complex iris image structure and various sources of intra-class ...
198
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
171
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...