254 search results - page 32 / 51 » Evaluation Strategies for Planning as Satisfiability |
WABI
2010
Springer
13 years 6 months ago
2010
Springer
The center string (or closest string) problem is a classical computer science problem with important applications in computational biology. Given k input strings and a distance thr...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper studies a hierarchical Bayesian model for nonlinear hyperspectral image unmixing. The proposed model assumes that the pixel reflectances are polynomial functions of li...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...