Sciweavers

12741 search results - page 119 / 2549
» Editorial and call for papers
Sort
View
ICALT
2005
IEEE
16 years 1 days ago
Modeling of Process-Oriented Learning Designs
Process-oriented learning designs (POLD) are used to describe innovative teaching activities (processes) that can be generalised and used across different disciplines. This paper ...
Olivera Marjanovic
BIRTHDAY
2004
Springer
15 years 12 months ago
Universal Actability of and with Knowledge: Managing and Communicating Knowledge with Patterns
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
Fahri Yetim
ICALP
2004
Springer
15 years 11 months ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu
INTELLCOMM
2004
Springer
15 years 11 months ago
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
This paper discusses possible routes to moving the web from a collection of human readable pieces of information connecting humans, to a web that connects computing devices based o...
Dieter Fensel
VMCAI
2004
Springer
15 years 11 months ago
Symbolic Implementation of the Best Transformer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh