Sciweavers

7058 search results - page 1294 / 1412
» Modelling Business Process Performance
Sort
View
TASE
2007
IEEE
15 years 4 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
ATAL
2007
Springer
15 years 4 months ago
Subjective approximate solutions for decentralized POMDPs
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...
Anton Chechetka, Katia P. Sycara
CLEAR
2007
Springer
263views Biometrics» more  CLEAR 2007»
15 years 4 months ago
CLEAR'07 Evaluation of USC Human Tracking System for Surveillance Videos
This paper presents the evaluation results of a system for tracking humans in surveillance videos. Moving blobs are detected based on adaptive background modeling. A shape based mu...
Bo Wu, Vivek Kumar Singh, C.-H. Kuo, Li Zhang, Sun...
DBPL
2007
Springer
98views Database» more  DBPL 2007»
15 years 4 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
EMMCVPR
2007
Springer
15 years 4 months ago
Bottom-Up Recognition and Parsing of the Human Body
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...
Praveen Srinivasan, Jianbo Shi
« Prev « First page 1294 / 1412 Last » Next »