6020 search results - page 404 / 1204 » A New Approach to Model Counting |
178
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
181
click to vote
IEE
2007
15 years 6 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
230
Voted
JMLR
2010
15 years 1 months ago
2010
In time series analysis, inference about causeeffect relationships among multiple times series is commonly based on the concept of Granger causality, which exploits temporal struc...
170
click to vote
TIP
2010
15 years 1 months ago
2010
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...
147
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...