Sciweavers

8087 search results - page 49 / 1618
» Meta Data Management
Sort
View
ICALT
2006
IEEE
15 years 5 months ago
Content-Based Positioning in Learning Networks
Positioning in learning networks is a process that assists learners in finding a starting point and an efficient route in the network that will foster competence building. In orde...
Jan van Bruggen, Ellen Rusman, Bas Giesbers, Rob K...
CARDIS
2004
Springer
149views Hardware» more  CARDIS 2004»
15 years 4 months ago
Checking and Signing XML Documents on Java Smart Cards
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
Nils Gruschka, Florian Reuter, Norbert Luttenberge...
WETICE
2002
IEEE
15 years 3 months ago
Evaluation of a Publish/Subscribe System for Collaborative and Mobile Working
The MObile Teamwork Infrastructure for Organizations Networking (MOTION) 1 service platform that we have designed and implemented addresses an emerging requirement in the daily bu...
Pascal Fenkam, Engin Kirda, Schahram Dustdar, Hara...
TPHOL
2000
IEEE
15 years 3 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
LWA
2004
15 years 10 days ago
Modeling Rule Precision
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
Johannes Fürnkranz