Sciweavers

3954 search results - page 73 / 791
» Image-based Model Completion
Sort
View
119
Voted
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
15 years 11 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella
104
Voted
PPAM
2007
Springer
15 years 8 months ago
Implementing Commodity Flow in an Agent-Based Model E-Commerce System
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Mar...
125
Voted
GECCO
2000
Springer
123views Optimization» more  GECCO 2000»
15 years 6 months ago
Genomic computing: explanatory modelling for functional genomics
Many newly discovered genes are of unknown function. DNA microarrays are a method for determining the expression levels of all genes in an organism for which a complete genome seq...
Richard J. Gilbert, Jem J. Rowland, Douglas B. Kel...
117
Voted
AAAI
1994
15 years 3 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
3DIM
2003
IEEE
15 years 8 months ago
Virtual Reconstruction of broken and unbroken Pottery
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
Martin Kampel, Robert Sablatnig