7988 search results - page 107 / 1598 » A Useful Undecidable Theory |
FOIS
2006
13 years 11 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
CVPR
2012
IEEE
12 years 15 days ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
TMC
2012
12 years 14 days ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...
IJCAI
2003
13 years 11 months ago
2003
The core of scientific theories are laws. These laws often make use of theoretical terms, linguistic entities which do not directly refer to observables. There is therefore no dir...
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
This paper discusses how architectural requirements engineering fits into an overall software development process in the concept and definition phases of a project. It defines a r...