3229 search results - page 241 / 646 » Theories with the Independence Property |
147
click to vote
FCT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
136
click to vote
SUM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
152
click to vote
ICALT
2006
IEEE
16 years 19 days ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
160
click to vote
EUROCAST
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
177
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...