6020 search results - page 694 / 1204 » A New Approach to Model Counting |
206
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
147
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Image magnification has been attracting a great deal of attention for long, and many approaches have been proposed to date. Nevertheless, bicubic interpolation is still the stand...
200
click to vote
IWSM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
185
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
This work presents a new approach to solve the location management problem by using the location areas approach. A combination of a genetic algorithm and the Hopfield neural netwo...
229
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...