Sciweavers

2410 search results - page 150 / 482
» Multiset Ordering Constraints
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Convex Optimization for Deformable Surface 3-D Tracking
3?D shape recovery of non-rigid surfaces from 3?D to 2?D correspondences is an under-constrained problem that requires prior knowledge of the possible deformations. State-of-the-a...
Mathieu Salzmann, Richard Hartley, Pascal Fua
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
16 years 6 months ago
Application Specific Datapath Extension with Distributed I/O Functional Units
Performance of an application can be improved through augmenting the processor with Application specific Functional Units (AFUs). Usually a cluster of operations identified from th...
Nagaraju Pothineni, Anshul Kumar, Kolin Paul
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 6 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
SEAA
2008
IEEE
16 years 21 days ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
ASWEC
2006
IEEE
16 years 11 days ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han