8232 search results - page 1288 / 1647 » Dynamic Logic Programming |
204
click to vote
ISQED
2005
IEEE
16 years 28 days ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
156
click to vote
AIME
2005
Springer
16 years 27 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
212
click to vote
ICLP
2005
Springer
16 years 26 days ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
238
click to vote
SFM
2005
Springer
16 years 25 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
195
click to vote
VMCAI
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...