1916 search results - page 270 / 384 » Reasoning with class algebra |
ACTA
2010
13 years 9 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
BMCBI
2010
13 years 9 months ago
2010
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...
TSP
2008
13 years 8 months ago
2008
We consider two automatic repeat request (ARQ) schemes based on subcarrier assignment in orthogonal frequency-division multiplexing (OFDM)-based systems: single ARQ subcarrier assi...
LOGCOM
2007
13 years 8 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
IPL
2007
13 years 8 months ago
2007
Abstract. The intention of this note is to motivate the researchers to study Hadwiger’s conjecture for circular arc graphs. Let η(G) denote the largest clique minor of a graph G...