Sciweavers

738 search results - page 121 / 148
» Object Orientation and Formal Techniques
Sort
View
94
Voted
NPAR
2010
ACM
15 years 4 months ago
Vector fluid: a vector graphics depiction of surface flow
We present a simple technique for creating fluid silhouettes described with vector graphics, which we call ”Vector Fluid.” In our system, a solid region in the fluid is repr...
Ryoichi Ando, Reiji Tsuruno
119
Voted
CVPR
2011
IEEE
14 years 6 months ago
Tracking 3D Human Pose with Large Root Node Uncertainty
Representing articulated objects as a graphical model has gained much popularity in recent years, often the root node of the graph describes the global position and orientation of...
Ben Daubney, Xianghua Xie
81
Voted

Publication
262views
16 years 3 months ago
Attribute Multiset Grammars for Global Explanations of Activities
Recognizing multiple interleaved activities in a video requires implicitly partitioning the detections for each activity. Furthermore, constraints between activities are important ...
Dima Damen, David Hogg
ICDE
2007
IEEE
178views Database» more  ICDE 2007»
16 years 9 days ago
Top-k Spatial Preference Queries
A spatial preference query ranks objects based on the qualities of features in their spatial neighborhood. For example, consider a real estate agency office that holds a database ...
Man Lung Yiu, Xiangyuan Dai, Nikos Mamoulis, Micha...
86
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 5 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...