6020 search results - page 481 / 1204 » A New Approach to Model Counting |
206
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
215
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
196
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...
244
click to vote
ICDIM
2006
IEEE
16 years 1 months ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
152
click to vote
DATE
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...