Sciweavers

4306 search results - page 436 / 862
» Timed Testing with TorX
Sort
View
ACSAC
2004
IEEE
15 years 7 months ago
Static Analyzer of Vicious Executables (SAVE)
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
Andrew H. Sung, Jianyun Xu, Patrick Chavez, Sriniv...
ADS
2004
Springer
15 years 7 months ago
Neural Architecture for Temporal Emotion Classification
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...
Roland Schweiger, Pierre Bayerl, Heiko Neumann
124
Voted
AMDO
2006
Springer
15 years 7 months ago
Collision Detection Trough Deconstruction of Articulated Objects
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
Roberto Therón, Vidal Moreno, Belén ...
113
Voted
APGV
2006
ACM
111views Visualization» more  APGV 2006»
15 years 7 months ago
Discrimination and estimation of time-to-contact for approaching traffic using a desktop environment
Each year, thousands of pedestrians are injured or killed in traffic accidents. Identifying pedestrians' perceptual capabilities for street crossing decisions is an important...
A. Elizabeth Seward, Daniel H. Ashmead, Bobby Bode...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 7 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu