2858 search results - page 303 / 572 » Logics with Aggregate Operators |
167
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
172
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
154
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
171
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
131
click to vote
APCCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...