741 search results - page 126 / 149 » A Local System for Classical Logic |
126
Voted
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
139
Voted
ICPPW
2003
IEEE
15 years 8 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
112
Voted
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
133
Voted
ICPADS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the study and results of running several core multimedia applications on a simultaneous multithreading (SMT) architecture, including some detailed analysis ran...
143
Voted
MSE
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...