Sciweavers

4987 search results - page 565 / 998
» Support Ordered Resolution
Sort
View
EUC
2006
Springer
15 years 10 months ago
Prediction Efficiency in Predictive p-CSMA/CD
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...
Marek Miskowicz
FGR
2006
IEEE
147views Biometrics» more  FGR 2006»
15 years 10 months ago
Cascaded Classification of Gender and Facial Expression using Active Appearance Models
This paper presents an approach to recognising the gender and expression of face images by means of Active Appearance Models (AAM). Features extracted by a trained AAM are used to...
Yunus Saatci, Christopher Town
FMCAD
2006
Springer
15 years 10 months ago
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
Florian Pigorsch, Christoph Scholl, Stefan Disch
APN
2003
Springer
15 years 10 months ago
The Petri Net Markup Language: Concepts, Technology, and Tools
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Jonathan Billington, Søren Christensen, Kee...
CGI
2001
IEEE
15 years 10 months ago
Hardware-Accelerated Rendering of Antialiased Shadows with Shadow Maps
We present a hardware-accelerated method for rendering high quality, antialiased shadows using the shadow map approach. Instead of relying on dedicated hardware support for shadow...
Stefan Brabec, Hans-Peter Seidel