Sciweavers

15614 search results - page 2803 / 3123
» The State of State
Sort
View
SCHULE
2007
Springer
16 years 26 days ago
Exploratory Learning
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...
Ivan Kalas, D. Lehotska
SEMWEB
2007
Springer
16 years 26 days ago
Analyzing Mapping Extraction Approaches
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
Christian Meilicke, Heiner Stuckenschmidt
SPIN
2007
Springer
16 years 26 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
16 years 26 days ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
TARK
2007
Springer
16 years 26 days ago
Inexact knowledge, margin for error and positive introspection
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
Julien Dutant
« Prev « First page 2803 / 3123 Last » Next »