3255 search results - page 386 / 651 » Combination of Abstractions in the ASTR |
214
Voted
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a new imaging method called hemispherical confocal imaging to clearly visualize a particular depth in a 3-D scene. The key optical component is a turtleback re...
176
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This work focuses on decentralized decision making in a population of individuals each implementing the sequential probability ratio test. The individual decisions are c...
206
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
227
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
195
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...