Sciweavers

3634 search results - page 137 / 727
» The Field Representation Language
Sort
View
WOA
2007
15 years 7 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 6 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
PAAMS
2010
Springer
15 years 4 months ago
A Case Study on Grammatical-Based Representation for Regular Expression Evolution
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
Antonio González-Pardo, David F. Barrero, D...
UM
2007
Springer
16 years 17 days ago
Conversations Amidst Computing: A Study of Interruptions and Recovery of Task Activity
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
Shamsi T. Iqbal, Eric Horvitz
CAISE
2006
Springer
15 years 10 months ago
A Formalisation of the Soccer Substitution Rules
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
Yves Ledru