Sciweavers

8228 search results - page 1380 / 1646
» Structural Logical Relations
Sort
View
113
Voted
ADBIS
2007
Springer
124views Database» more  ADBIS 2007»
15 years 10 months ago
Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams
Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance ...
Beda Christoph Hammerschmidt, Christian Werner, Yl...
113
Voted
AIED
2007
Springer
15 years 10 months ago
Comparing Linguistic Features for Modeling Learning in Computer Tutoring
We compare the relative utility of different automatically computable linguistic feature sets for modeling student learning in computer dialogue tutoring. We use the PARADISE frame...
Katherine Forbes-Riley, Diane J. Litman, Amruta Pu...
142
Voted
AOSE
2007
Springer
15 years 10 months ago
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...
134
Voted
ATAL
2007
Springer
15 years 10 months ago
Integrating authority, deontics, and communications within a joint intention framework
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
Marcus J. Huber, Sanjeev Kumar, David McGee, Sean ...
121
Voted
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
« Prev « First page 1380 / 1646 Last » Next »