Sciweavers

7099 search results - page 349 / 1420
» Context for models of concurrency
Sort
View
AUTOMATICA
2011
15 years 2 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva
GC
2004
Springer
16 years 28 days ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
ICASSP
2010
IEEE
15 years 7 months ago
From flat direct models to segmental CRF models
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...
Geoffrey Zweig, Patrick Nguyen
CIKM
2008
Springer
15 years 9 months ago
Searching the wikipedia with contextual information
We propose a framework for searching the Wikipedia with contextual information. Our framework extends the typical keyword search, by considering queries of the type q, p , where q...
Antti Ukkonen, Carlos Castillo, Debora Donato, Ari...
ECTEL
2007
Springer
16 years 1 months ago
A Methodological Proposal to Analyse Interactions in Online Collaborative Learning Environments
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...
Manuela Repetto