Sciweavers

1419 search results - page 71 / 284
» Notes on Formalizing Context
Sort
View
123
Voted
FORTE
2009
14 years 10 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
87
Voted
CONTEXT
2005
Springer
15 years 6 months ago
Task-Realization Models in Contextual Graphs
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
Patrick Brézillon
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 6 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
ISMIR
2001
Springer
146views Music» more  ISMIR 2001»
15 years 5 months ago
An Audio Front End for Query-by-Humming Systems
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
Emanuele Pollastri
97
Voted
SKG
2006
IEEE
15 years 6 months ago
Ontology Enabled Learning Resource Modeling and Management
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
Zongkai Yang, Tao Huang, Qingtang Liu, Xia Li, Bei...