Sciweavers

5945 search results - page 294 / 1189
» A Model for Projection and Action
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
ICMCS
2009
IEEE
146views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Boosting multi-modal camera selection with semantic features
In this work semantic features are used to improve the results of the camera selection. These semantic features are group action, person action and person speaking. For this purpo...
Benedikt Hörnler, Dejan Arsic, Björn Sch...
IJHIS
2006
94views more  IJHIS 2006»
15 years 6 months ago
A new fine-grained evolutionary algorithm based on cellular learning automata
In this paper, a new evolutionary computing model, called CLA-EC, is proposed. This model is a combination of a model called cellular learning automata (CLA) and the evolutionary ...
Reza Rastegar, Mohammad Reza Meybodi, Arash Hariri
UM
2005
Springer
16 years 8 days ago
Social Navigation Support Through Annotation-Based Group Modeling
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
Rosta Farzan, Peter Brusilovsky
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...