1216 search results - page 73 / 244 » Hybrid type checking |
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
123
click to vote
ICAS
2008
IEEE
15 years 6 months ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
ENTCS
2007
14 years 12 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
ICANN
2011
Springer
14 years 3 months ago
2011
Springer
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
INFOVIS
2003
IEEE
15 years 5 months ago
2003
IEEE
In visualising multidimensional data, it is well known that different types of data require different types of algorithms to process them. Data sets might be distinguished accordi...