2035 search results - page 200 / 407 » On the complexity of stratified logics |
167
click to vote
RR
2007
Springer
16 years 18 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
172
click to vote
DDECS
2006
IEEE
16 years 17 days ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
152
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
Measurement of the delay is an important and common problem in communication over packet networks. The endto-end and the round trip delay are among the factors directly impacting ...
192
click to vote
LICS
2006
IEEE
16 years 15 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
173
click to vote
ACMICEC
2006
ACM
16 years 14 days ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...