4035 search results - page 52 / 807 » Useless Actions Are Useful |
156
click to vote
FAC
2002
15 years 5 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
147
Voted
ICPR
2000
IEEE
16 years 6 months ago
2000
IEEE
Image segmentation of natural scenes constitutes a major problem in Machine Vision. This paper presents a new proposal for the image segmentation problem which has been based on t...
164
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
176
click to vote
ICC
2009
IEEE
16 years 16 days ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
167
click to vote
UIC
2007
Springer
15 years 12 months ago
2007
Springer
We propose a novel reasoning engine for context-aware ubiquitous computing middleware in this paper. Our reasoning engine supports both rulebased reasoning and machine learning rea...