1864 search results - page 150 / 373 » Formal topology and domains |
186
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
164
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
173
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
215
click to vote
TVCG
2012
13 years 9 months ago
2012
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...
172
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...