551 search results - page 83 / 111 » Formalizing the Logic-Automaton Connection |
ICDT
2005
ACM
14 years 2 months ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
ILP
2005
Springer
14 years 2 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
VLSM
2005
Springer
14 years 2 months ago
2005
Springer
The need to regularize tensor fields arise recently in various applications. We treat in this paper tensors that belong to matrix Lie groups. We formulate the problem of these SO(...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...