Sciweavers

7366 search results - page 1234 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
150
Voted
TOG
2008
109views more  TOG 2008»
15 years 6 months ago
Geometric skinning with approximate dual quaternion blending
Skinning of skeletally deformable models is extensively used for real-time animation of characters, creatures and similar objects. The standard solution, linear blend skinning, ha...
Ladislav Kavan, Steven Collins, Jirí Z&aacu...
TSE
2011
214views more  TSE 2011»
15 years 1 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ECCV
2004
Springer
16 years 8 months ago
Real-Time Tracking of Multiple Skin-Colored Objects with a Possibly Moving Camera
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
Antonis A. Argyros, Manolis I. A. Lourakis
HOST
2009
IEEE
16 years 1 months ago
Detecting Trojan Circuit Attacks
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
Gedare Bloom, Bhagirath Narahari, Rahul Simha
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 11 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
« Prev « First page 1234 / 1474 Last » Next »