10916 search results - page 206 / 2184 » On Constructive Connectives and Systems |
147
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe a solution for incorporating background knowledge into the OntoGen system for semi-automatic ontology construction. This makes it easier for different us...
164
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
142
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
142
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Collaborative construction is a main application in the field of autonomous systems. An interesting subject in the area is the construction of realistic human-like architecture. ...
156
click to vote
CIE
2007
Springer
16 years 24 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...