Sciweavers

2171 search results - page 253 / 435
» A Generic Process Algebra
Sort
View
WSC
1998
15 years 5 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
AAAI
1993
15 years 5 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert
ICASSP
2010
IEEE
15 years 4 months ago
Graph based event detection from realistic videos using weak feature correspondence
We study the problem of event detection from realistic videos with repetitive sequential human activities. Despite the large body of work on event detection and recognition, very ...
Lei Ding, Quanfu Fan, Jen-Hao Hsiao, Sharath Panka...
ICASSP
2010
IEEE
15 years 4 months ago
Flexcode - flexible audio coding
Modern networks are highly variable and, as a result, source coders are commonly used under conditions that they were not designed for. We address this problem with a source-codin...
Janusz Klejsa, Minyue Li, W. Bastiaan Kleijn
CLEIEJ
2006
207views more  CLEIEJ 2006»
15 years 4 months ago
Implementing CMMI using a Combination of Agile Methods
This paper explores the possibility for software companies of getting a CMMI certification of their processes by applying agile practices. For this purpose, starting with CMMI mat...
Julio Ariel Hurtado Alegria, M. Cecilia Bastarrica