Sciweavers

4745 search results - page 254 / 949
» Discretization: An Enabling Technique
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 6 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
ICIP
2008
IEEE
16 years 8 months ago
Analysis of human attractiveness using manifold kernel regression
This paper uses a recently introduced manifold kernel regression technique to explore the relationship between facial shape and attractiveness on a heterogeneous dataset of over t...
Bradley C. Davis, Svetlana Lazebnik
ICPR
2004
IEEE
16 years 7 months ago
Automated Detection of Solar Loops by the Oriented Connectivity Method
An automated technique to segment solar coronal loops from intensity images of the Sun's corona is introduced. It exploits physical characteristics of the solar magnetic fiel...
G. Allen Gary, Jong Kwan Lee, Timothy S. Newman
CADE
2004
Springer
16 years 7 months ago
Uniform variable splitting
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
Roger Antonsen
ICSE
2008
IEEE-ACM
16 years 6 months ago
Test case generator for GUITAR
As Graphical User Interfaces become more popular, the need for GUI testing tools becomes greater. However, many current test generation techniques require proprietary tools and ca...
Daniel R. Hackner, Atif M. Memon