5863 search results - page 811 / 1173 » Calculating Functional Programs |
205
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
202
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
222
click to vote
ECCC
2011
15 years 1 months ago
2011
We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for r...
311
click to vote
CSE
2011
IEEE
14 years 6 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
190
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
The use of human hand as a natural interface device serves as a motivating force for research in the modeling, analyzing and capturing of the motion of articulated hand. Model-bas...