1127 search results - page 80 / 226 » Theory Extension in ACL2(r) |
105
click to vote
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
103
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
2006
IEEE
Channel allocation has been extensively studied in the framework of cellular networks, but the emergence of new system concepts, such as cognitive radio systems, bring this topic ...
ICIP
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...
110
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we study the enforcement of social laws in artificial social systems using a control system. We define the enforceable social law problem as an extension of Tennen...
103
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...