1937 search results - page 60 / 388 » Starting B Specifications from Use Cases |
182
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We propose a nonparametric framework based on the beta process for discovering temporal patterns within a heterogenous video collection. Starting from quantized local motion descr...
159
click to vote
SQJ
2008
15 years 4 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
143
click to vote
IPL
2008
15 years 4 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
135
click to vote
SPLC
2008
15 years 5 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
134
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
We approach the problem of 2-D and 3-D puzzle solving by matching the geometric features of puzzle pieces three at a time. First, we define an affinity measure for a pair of piece...