6020 search results - page 975 / 1204 » A New Approach to Model Counting |
166
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Very recent activities in the IETF and in the Routing Research Group (RRG) of the IRTG focus on defining a new Internet architecture, in order to solve scalability issues related ...
171
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
208
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we propose techniques to dynamically downsize or upsize a cache accompanied by cache set/line shutdown to produce efficient caches. Unlike previous approaches, resiz...
176
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
187
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe progress in the automatic detection and identification of humans in video, given a minimal number of labelled faces as training data. This is an extremely cha...