Sciweavers

3207 search results - page 497 / 642
» A Semantics for HTN Methods
Sort
View
HICSS
2007
IEEE
131views Biometrics» more  HICSS 2007»
15 years 11 months ago
Ambiguities in Sketch-Based Interfaces
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
Danilo Avola, Maria Chiara Caschera, Fernando Ferr...
IRI
2007
IEEE
15 years 11 months ago
Automated Multimedia Systems Training Using Association Rule Mining
User feedback is widely deployed in recent multimedia research to refine retrieval performance. However, most of the existing online learning algorithms handle interactions of a s...
Na Zhao, Shu-Ching Chen, Stuart Harvey Rubin
CAV
2007
Springer
113views Hardware» more  CAV 2007»
15 years 11 months ago
Three-Valued Abstraction for Continuous-Time Markov Chains
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...
CCS
2007
ACM
15 years 11 months ago
On the infeasibility of modeling polymorphic shellcode
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
Yingbo Song, Michael E. Locasto, Angelos Stavrou, ...
ECOOP
2007
Springer
15 years 11 months ago
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
Curtis Clifton, Gary T. Leavens, James Noble