1127 search results - page 80 / 226 » Theory Extension in ACL2(r) |
163
click to vote
HICSS
2006
IEEE
16 years 9 days 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...
175
click to vote
ICDCSW
2006
IEEE
16 years 9 days 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 ...
152
click to vote
ICIP
2005
IEEE
15 years 12 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...
181
click to vote
ATAL
2005
Springer
15 years 11 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...
158
click to vote
FROCOS
2005
Springer
15 years 11 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...