Sciweavers

2477 search results - page 214 / 496
» First-Order Interactive Programming
Sort
View
ICLP
2003
Springer
14 years 3 months ago
Argumentation Databases
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...
Shekhar Pradhan
ICSE
1994
IEEE-ACM
14 years 2 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
ERCIMDL
2008
Springer
88views Education» more  ERCIMDL 2008»
14 years 4 days ago
Improving Placeholders in Digital Documents
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...
George Buchanan, Jennifer Pearson
UAI
2003
13 years 11 months ago
Symbolic Generalization for On-line Planning
Symbolic representations have been used successfully in off-line planning algorithms for Markov decision processes. We show that they can also improve the performance of online p...
Zhengzhu Feng, Eric A. Hansen, Shlomo Zilberstein
IJET
2008
114views more  IJET 2008»
13 years 10 months ago
Proposal of convergence of e-Learning Systems for t-Learning
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
Barbara De Franco, Hilda Carvalho Oliveira, Everal...