424 search results - page 25 / 85 » Realizability models and implicit complexity |
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
We argue that a comprehensive model of graph comprehension must include spatial cognition. We propose that current models of graph comprehension have not needed to incorporate spat...
SEFM
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes the mathematical underpinning used to analyse two dimensional movements with time using Fourier Analysis techniques. Interpreting the complex harmonic compone...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a â€...
SIGGRAPH
1998
ACM
13 years 11 months ago
1998
ACM
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...