3005 search results - page 523 / 601 » Logical Information Systems: from Taxonomies to Logics |
PODS
2007
ACM
16 years 2 months ago
2007
ACM
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
118
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
141
click to vote
AB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
104
click to vote
ICNSC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Flow level measurements are used to provide insights into the traffic flow crossing a network link. However, existing flow based network detection devices lack adaptive reconfi...