4880 search results - page 487 / 976 » Manuals as Structured Programs |
161
click to vote
IANDC
2008
15 years 7 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
212
click to vote
IJCV
2007
15 years 7 months ago
2007
This paper presents a new real-time localization system for a mobile robot. We show that autonomous navigation is possible in outdoor situation with the use of a single camera and ...
191
click to vote
TOG
2008
15 years 7 months ago
2008
Character animation in video games--whether manually keyframed or motion captured--has traditionally relied on codifying skeletons early in a game's development, and creating...
225
click to vote
JSW
2007
15 years 7 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
201
click to vote
WS
2008
ACM
15 years 7 months ago
2008
ACM
The Foundational Model of Anatomy (FMA) [7] represents the result of manual and disciplined modeling of the structural organization of the human body. Many workers in medical info...