4401 search results - page 591 / 881 » Computing with Default Logic |
159
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
132
click to vote
COLING
2010
15 years 1 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
209
click to vote
DLOG
2011
14 years 9 months ago
2011
Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the ca...
201
click to vote
ICCSA
2011
Springer
14 years 9 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
334
click to vote
ARITH
2011
IEEE
14 years 6 months ago
2011
IEEE
— This paper presents a number of new high-radix ripple-carry adder designs based on Ling’s addition technique and a recently-published expansion thereof. The proposed adders a...