5203 search results - page 942 / 1041 » An approach to workflow modeling and analysis |
154
click to vote
LPAR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
174
click to vote
MIRAGE
2007
Springer
16 years 13 days ago
2007
Springer
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...
163
click to vote
RE
2007
Springer
16 years 13 days ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
200
click to vote
SCALESPACE
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
177
click to vote
TACAS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...