2542 search results - page 170 / 509 » integration 2010 |
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
109
click to vote
ITNG
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper, the first in a series of four, presents the conceptual design of a subsystem with integrative function based on a Service-Oriented Architecture (SOA), named Geographic...
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
PERSUASIVE
2010
Springer
15 years 4 months ago
2010
Springer
What design dimensions across physical, digital, and social library interfaces may enable and trigger users to find more information resources than planned or known in advance? The...
115
click to vote
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...