6020 search results - page 306 / 1204 » A New Approach to Model Counting |
181
click to vote
SIPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
163
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: In many tracking applications, the extent of the target object is neglected and it is assumed that the received measurements stem from a point source. However, modern sensors are...
179
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
165
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
171
click to vote
ACL
2006
15 years 8 months ago
2006
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...