5356 search results - page 862 / 1072 » Adventures in time and space |
109
click to vote
EUC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
107
click to vote
EWCBR
2006
Springer
15 years 5 months ago
2006
Springer
Case Retrieval Networks (CRNs) facilitate flexible and efficient retrieval in Case-Based Reasoning (CBR) systems. While CRNs scale up well to handle large numbers of cases in the c...
115
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
119
click to vote
GCB
2006
Springer
15 years 5 months ago
2006
Springer
: In this paper we describe a similarity model that provides the objective basis for clustering proteins of similar structure. More specifically, we consider the following variant ...