2035 search results - page 278 / 407 » On the complexity of stratified logics |
92
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
96
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
99
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
116
Voted
IJNSEC
2008
15 years 24 days ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...