6020 search results - page 579 / 1204 » A New Approach to Model Counting |
181
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
174
click to vote
DSVIS
2003
Springer
16 years 12 days ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
196
click to vote
ECCV
2010
Springer
16 years 11 days ago
2010
Springer
Learning a new object class from cluttered training images is very challenging when the location of object instances is unknown. Previous works generally require objects covering a...
207
click to vote
DATE
2002
IEEE
16 years 4 days ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
214
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...