Sciweavers

8067 search results - page 740 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
3DPVT
2006
IEEE
259views Visualization» more  3DPVT 2006»
16 years 1 months ago
3D Skeleton-Based Body Pose Recovery
This paper presents an approach to recover body motions from multiple views using a 3D skeletal model. It takes, as input, foreground silhouette sequences from multiple viewpoints...
Clément Ménier, Edmond Boyer, Bruno ...
ICEBE
2006
IEEE
91views Business» more  ICEBE 2006»
16 years 1 months ago
SOA-Driven Business-Software Alignment
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
Boris Shishkov, Marten van Sinderen, Dick A. C. Qu...
RE
2005
Springer
16 years 28 days ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
ISSTA
1998
ACM
15 years 11 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
HPCA
1995
IEEE
15 years 11 months ago
The Effects of STEF in Finely Parallel Multithreaded Processors
The throughput of a multiple-pipelined processor suffers due to lack of sufficient instructions to make multiple pipelines busy and due to delays associated with pipeline depende...
Yamin Li, Wanming Chu