391 search results - page 33 / 79 » Formal Universes |
126
Voted
ADBIS
2010
Springer
15 years 1 months ago
2010
Springer
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
121
Voted
ENTCS
2007
15 years 12 days ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
103
click to vote
CONSTRAINTS
2002
15 years 8 days ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
97
Voted
ICALT
2010
IEEE
14 years 11 months ago
2010
IEEE
—In China, the number of online learners who attend formal education has quadrupled in the last 5 years to 8.2 millions until the end of 2008. How can online teachers build and u...
165
Voted
AGI
2011
14 years 4 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...