1113 search results - page 182 / 223 » Counter Systems for Data Logics |
149
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
140
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
137
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
167
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
The paper proposed to use recurrent Fuzzy-Neural Multi-Model (FNMM) identifier for decentralized identification of a distributed parameter anaerobic wastewater treatment digestion ...
282
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...