Sciweavers

1689 search results - page 277 / 338
» Refining abstract interpretations
Sort
View
SAC
2006
ACM
15 years 10 months ago
Implementing an embedded GPU language by combining translation and generation
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
Calle Lejdfors, Lennart Ohlsson
AMFG
2005
IEEE
162views Biometrics» more  AMFG 2005»
15 years 9 months ago
Facial Expression Representation Based on Timing Structures in Faces
Abstract. This paper presents a method for interpreting facial expressions based on temporal structures among partial movements in facial image sequences. To extract the structures...
Masahiro Nishiyama, Hiroaki Kawashima, Takatsugu H...
CEC
2005
IEEE
15 years 9 months ago
Constraint quadratic approximation operator for treating equality constraints with genetic algorithms
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
Elizabeth F. Wanner, Frederico G. Guimarães...
125
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
Detecting Intrusions Specified in a Software Specification Language
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
Mohammad Feroz Raihan, Mohammad Zulkernine
131
Voted
IAT
2005
IEEE
15 years 9 months ago
A Flexible BDI Architecture Supporting Extensibility
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...