2451 search results - page 90 / 491 » The Octagon Abstract Domain |
200
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
The important role given to domain ontologies for knowledge representation implies increasing need for development and maintenance of them. However, we have a scarcity of tools sup...
170
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
188
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
194
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...