Sciweavers

357 search results - page 34 / 72
» Toward a Theory of Behavioral Operations
Sort
View
CONCUR
2012
Springer
13 years 8 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
RTCSA
2005
IEEE
15 years 11 months ago
Multi-Versions Data for Improvement of QoS in RTDBS
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
Emna Bouazizi, Claude Duvallet, Bruno Sadeg
MABS
2004
Springer
15 years 11 months ago
Patchiness and Prosociality: An Agent-Based Model of Plio/Pleistocene Hominid Food Sharing
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...
L. S. Premo
APIN
2004
87views more  APIN 2004»
15 years 5 months ago
Supply Estimation Using Coevolutionary Genetic Algorithms in the Spanish Electrical Market
The price of electrical energy in Spain has not been regulated by the government since 1998, but determined by the supply from the generators in a competitive market, the so-called...
Enrique A. de la Cal Marín, Luciano S&aacut...
GW
2009
Springer
187views Biometrics» more  GW 2009»
15 years 3 months ago
Gesture Saliency: A Context-Aware Analysis
This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion feature...
Matei Mancas, Donald Glowinski, Gualtiero Volpe, P...