2432 search results - page 201 / 487 » Cryptographic logical relations |
177
click to vote
ICML
2007
IEEE
16 years 6 months ago
2007
IEEE
Markov logic networks (MLNs) are a statistical relational model that consists of weighted firstorder clauses and generalizes first-order logic and Markov networks. The current sta...
150
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
152
click to vote
GLVLSI
2007
IEEE
16 years 5 days ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
170
click to vote
FMCO
2007
Springer
16 years 16 hour ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
149
click to vote
ICTAI
2005
IEEE
15 years 11 months ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...