Sciweavers

1675 search results - page 276 / 335
» Compositional Model-Based Design
Sort
View
142
Voted
FORTE
2009
14 years 12 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
147
Voted
ICDAR
2009
IEEE
14 years 12 months ago
A Multi-Hypothesis Approach for Off-Line Signature Verification with HMMs
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
Luana Batista, Eric Granger, Robert Sabourin
118
Voted
IJACTAICIT
2010
192views more  IJACTAICIT 2010»
14 years 11 months ago
Service Level Security using Expected Clandestine Figure for Corroboration of Web Service Consumer
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
M. S. Saleem Basha
ACCV
2010
Springer
14 years 9 months ago
On the Use of Implicit Shape Models for Recognition of Object Categories in 3D Data
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
Samuele Salti, Federico Tombari, Luigi di Stefano
TCIAIG
2010
14 years 9 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young