5251 search results - page 726 / 1051 » A Framework for Ontology Integration |
192
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
197
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
219
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Multiplexing is a common technique for encoding highdimensional image data into a single, two-dimensional image. Examples of spatial multiplexing include Bayer patterns to capture...
204
click to vote
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
188
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...