Sciweavers

11324 search results - page 274 / 2265
» Coordination Models and Languages
Sort
View
95
Voted
SAC
2006
ACM
15 years 6 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
PUK
2003
15 years 2 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
ICWE
2003
Springer
15 years 6 months ago
Semi-automatic Assessment Process in a Ubiquitous Environment for Language Learning
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
Maximiliano Paredes, Manuel Ortega, Pedro P. S&aac...
101
Voted
SIGIR
2009
ACM
15 years 7 months ago
Identifying the original contribution of a document via language modeling
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...
Benyah Shaparenko, Thorsten Joachims
87
Voted
ICCV
2003
IEEE
15 years 6 months ago
The Catchment Feature Model for Multimodal Language Analysis
The Catchment Feature Model (CFM) addresses two questions in multimodal interaction: how do we bridge video and audio processing with the realities of human multimodal communicati...
Francis K. H. Quek