2911 search results - page 520 / 583 » A Theory of Expressiveness in Mechanisms |
116
click to vote
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
101
click to vote
IPSN
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we present a wireless sensor platform designed for processing multipoint human motion with low latency and high resolution. One application considered here is inter...
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
103
click to vote
ACMACE
2006
ACM
15 years 3 months ago
2006
ACM
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...