876 search results - page 49 / 176 » The next step - open prototyping |
NSDI
2008
15 years 1 days ago
2008
Users of online social networking communities are disclosing large amounts of personal information, putting themselves at a variety of risks. Our ongoing research investigates mec...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
TCS
2010
14 years 8 months ago
2010
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we introduce a novel iterative motion tracking
framework that combines 3D tracking techniques with
motion retrieval for stabilizing markerless human motion
captur...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a hybrid medical image segmentation approach is proposed based on a dual front evolution and fast sweeping evolution. This approach is composed of two stages. In th...