3119 search results - page 282 / 624 » General Default Logic |
136
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
176
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
189
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
178
click to vote
IDEAL
2005
Springer
16 years 8 days ago
2005
Springer
Artificial neural networks play an important role for pattern recognition tasks. However, due to poor comprehensibility of the learned network, and the inability to represent expl...
168
Voted
ICTAC
2004
Springer
16 years 4 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...