1187 search results - page 124 / 238 » Graph-Based Procedural Abstraction |
88
Voted
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Research in authentication mechanisms has led to the design and development of new schemes. The security provided by these procedures must be reviewed and analyzed before...
136
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
136
click to vote
ISVC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
158
Voted
PCM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The multi-view video is a collection of multiple videos capturing the same scene at different viewpoints. Since the data size of the multi-view video linearly increases ...
104
Voted
STACS
2005
Springer
15 years 7 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...