6020 search results - page 136 / 1204 » A New Approach to Model Counting |
142
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
149
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The Structural Descriptor Database (SDDB) is a web-based tool that predicts the function of proteins and functional site positions based on the structural properties o...
130
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
This work proposes a new approach to the retrieval of images from text queries. Contrasting with previous work, this method relies on a discriminative model: the parameters are sel...
142
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...
150
click to vote
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...