4340 search results - page 413 / 868 » Formal Methods and Cryptography |
225
click to vote
VLDB
2007
ACM
16 years 28 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
180
click to vote
ACSD
2006
IEEE
16 years 27 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
178
click to vote
ACCV
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
210
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
201
click to vote
ACSC
2005
IEEE
16 years 14 days ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...