6020 search results - page 533 / 1204 » A New Approach to Model Counting |
184
click to vote
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we introduce the idea of integrating high security level services to support law enforcement with high-tech crime investigation. We take advantage of a process-orien...
205
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
181
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
176
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
This study proposes a novel forecasting approach – an adaptive smoothing neural network (ASNN) – to predict foreign exchange rates. In this new model, adaptive smoothing techni...
185
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...