Sciweavers

5639 search results - page 879 / 1128
» Timed Abstract Non-interference
Sort
View
ICOST
2010
Springer
15 years 7 months ago
Context-Aware Personal Diet Suggestion System
Abstract. Keeping a healthy and balanced diet has long been a critical issue for a person wanting to stay fit and energetic in her/his daily life. We can always turn to a dietitian...
Yu-Chiao Huang, Ching-Hu Lu, Tsung-Han Yang, Li-Ch...
BPM
2009
Springer
126views Business» more  BPM 2009»
15 years 7 months ago
Micro Workflow Gestural Analysis: Representation in Social Business Processes
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
Ben Jennings, Anthony Finkelstein
CAIP
2009
Springer
248views Image Analysis» more  CAIP 2009»
15 years 7 months ago
Rapid Inference of Object Rigidity and Reflectance Using Optic Flow
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
Di Zang, Katja Doerschner, Paul R. Schrater
BROADNETS
2007
IEEE
15 years 7 months ago
SAABCOT: Secure application-agnostic bandwidth conservation techniques
Abstract-- High speed modern networks are tasked with moving large amounts of data to diverse groups of interested parties. Often under heavy loads, a significant portion of the da...
Chad D. Mano, David Salyers, Qi Liao, Andrew Blaic...
CDC
2009
IEEE
140views Control Systems» more  CDC 2009»
15 years 7 months ago
Integral input-to-state stability of interconnected iISS systems by means of a lower-dimensional comparison system
Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...
Björn Sebastian Rüffer, Christopher M. K...