12807 search results - page 2212 / 2562 » Application - Platform Performance Modeling and Evaluation |
194
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
170
click to vote
IWDW
2007
Springer
16 years 27 days ago
2007
Springer
Aiming at detecting secret information hidden in a given image using steganographic tools, steganalysis has been of interest since the end of 1990’s. In particular, universal ste...
185
click to vote
HT
2006
ACM
16 years 22 days ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
173
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
Traditional regression analysis derives global relationships between variables and neglects spatial variations in variables. Hence they lack the ability to systematically discover...
187
click to vote
AIPS
2009
15 years 7 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...