4341 search results - page 690 / 869 » Quantitative Model checking |
166
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
139
click to vote
ISCC
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we analyze stability of XCP (eXplicit Control Protocol) in a network with heterogeneous XCP flows (i.e., XCP flows with different propagation delays). Specificall...
167
click to vote
QEST
2007
IEEE
16 years 22 days ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
210
click to vote
SASO
2007
IEEE
16 years 22 days ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
152
click to vote
TABLETOP
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a method to enable multi-touch interactions on an arbitrary flat surface using a pair of cameras mounted above the surface. Current systems in this domain mostly make ...