4211 search results - page 452 / 843 » Types as Abstract Interpretations |
176
Voted
SKG
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
191
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
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...
193
click to vote
AMFG
2005
IEEE
16 years 9 days ago
2005
IEEE
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...
148
click to vote
CEC
2005
IEEE
16 years 9 days ago
2005
IEEE
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...
164
click to vote
COMPSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...