5622 search results - page 1090 / 1125 » Solving architectural modelling problems using knowledge |
125
click to vote
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
128
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
131
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
116
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...
105
click to vote
CCE
2008
15 years 2 months ago
2008
Scheduling product batches in pipelines is a very complex task with many constraints to be considered. Several papers have been published on the subject during the last decade. Mo...