8232 search results - page 1288 / 1647 » Dynamic Logic Programming |
188
click to vote
ISQED
2005
IEEE
16 years 8 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...
138
click to vote
AIME
2005
Springer
16 years 7 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...
185
click to vote
ICLP
2005
Springer
16 years 6 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...
207
click to vote
SFM
2005
Springer
16 years 5 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...
165
click to vote
VMCAI
2005
Springer
16 years 5 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...