1636 search results - page 300 / 328 » Type-Theoretic Functional Semantics |
113
click to vote
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
MFCS
2009
Springer
15 years 6 months ago
2009
Springer
We introduce the tree evaluation problem, show that it is in LogDCFL (and hence in P), and study its branching program complexity in the hope of eventually proving a superlogarith...
104
click to vote
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
104
click to vote
MM
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stroke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotono...
116
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...