896 search results - page 101 / 180 » On completeness of word reversing |
162
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
142
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
168
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
160
click to vote
DLOG
2008
15 years 8 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
190
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
We present a hybrid approach to Distributed Constraint Satisfaction which combines incomplete, fast, penalty-based local search with complete, slower systematic search. Thus, we pr...