2138 search results - page 147 / 428 » Logical Step-Indexed Logical Relations |
166
Voted
WWW
2006
ACM
16 years 7 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...
166
click to vote
GLVLSI
2007
IEEE
16 years 25 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...
190
click to vote
FMCO
2007
Springer
16 years 20 days 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...
160
click to vote
ICTAI
2005
IEEE
16 years 2 days 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...
158
click to vote
LICS
2005
IEEE
16 years 2 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...