Sciweavers

15754 search results - page 725 / 3151
» Programs are Knowledge Bases
Sort
View
NJC
2002
109views more  NJC 2002»
15 years 7 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
ICAI
2010
15 years 5 months ago
A Programming Environment for Bousi-Prolog
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
Pascual Julián Iranzo, Clemente Rubio-Manza...
EMSOFT
2006
Springer
15 years 11 months ago
New approach to architectural synthesis: incorporating QoS constraint
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan
ICTAI
2003
IEEE
16 years 24 days ago
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
Céline Hudelot, Monique Thonnat
AUSAI
2003
Springer
15 years 11 months ago
A New Approach for Scientific Citation Classification Using Cue Phrases
This paper introduces a new method for the rapid development of complex rule bases involving cue phrases for the purpose of classifying text segments. The method is based on Ripple...
Son Bao Pham, Achim G. Hoffmann