97 search results - page 17 / 20 » A Framework for Optimizing Java Using Attributes |
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
SIGMOD
2000
ACM
15 years 1 months ago
2000
ACM
We present MOCHA, a new self-extensible database middleware system designed to interconnect distributed data sources. MOCHA is designed to scale to large environments and is based...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Many source separation algorithms fail to deliver robust performance when applied to signals recorded using highdensity microphone arrays where distance between sensor elements is...
AVSS
2007
IEEE
15 years 3 months ago
2007
IEEE
In multi-camera networks rich visual data is provided both spatially and temporally. In this paper a method of human posture estimation is described incorporating the concept of a...
CISST
2003
14 years 11 months ago
2003
The unique human expertise in imagery analysis should be preserved and shared with other imagery analysts to improve image analysis and decision-making. Such knowledge can serve a...