8086 search results - page 418 / 1618 » On the Implementation of Dynamic Patterns |
253
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
300
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
182
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
218
click to vote
RULEML
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
198
click to vote
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
The craniofacial reconstruction is employed as an initialization of the identification in forensics. In this paper we present a tissue map based craniofacial reconstruction techni...