4401 search results - page 189 / 881 » Computing with Default Logic |
155
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
159
Voted
WISES
2003
15 years 5 months ago
2003
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
132
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
115
Voted
DAC
1998
ACM
15 years 8 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...