Sciweavers

5113 search results - page 676 / 1023
» Model-integrated system development: models, architecture, a...
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
15 years 6 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
PR
2008
124views more  PR 2008»
15 years 6 months ago
A daily behavior enabled hidden Markov model for human behavior understanding
This paper presents a Hierarchical Context Hidden Markov Model (HC-HMM) for behavior understanding from video streams in a nursing center. The proposed HC-HMM infers elderly behav...
Pau-Choo Chung, Chin-De Liu
CVPR
2005
IEEE
16 years 8 months ago
ALIP: The Automatic Linguistic Indexing of Pictures System
In this demonstration, we present the Automatic Linguistic Indexing of Pictures (ALIP) system. The system annotates images with linguistic terms, chosen among hundreds of such ter...
Jia Li, James Ze Wang
CSL
1999
Springer
15 years 11 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
GLOBECOM
2009
IEEE
16 years 1 months ago
Scalability and Peer Churning in IP-TV: An Analytical Insight
— Peer-to-peer (P2P) technology for TV broadcasting over the Internet is becoming more and more popular in the very last years. This paper introduces a network-wide efficiency m...
Maria Luisa Merani, G. P. Leonardi, D. Saladino