Sciweavers

2539 search results - page 141 / 508
» Debugging Method Names
Sort
View
HCI
2007
15 years 3 months ago
Intuitive Human-Machine-Interaction and Implementation on a Household Robot Companion
Abstract. The increasing capabilities of experimental household robot platforms require more and more sophisticated methods of interaction. While there are many developments in all...
Christopher Parlitz, Winfried Baum, Ulrich Reiser,...
ICIP
2003
IEEE
16 years 4 months ago
Text to visual synthesis with appearance models
This paper presents a new method named text to visual synthesis with appearance models (TEVISAM) for generating videorealistic talking heads. In a first step, the system learns a ...
Javier Melenchón, Fernando De la Torre, Ign...
121
Voted
AINA
2009
IEEE
15 years 9 months ago
Similarity Search over DNS Query Streams for Email Worm Detection
Email worms continue to be a persistent problem, indicating that current approaches against this class of selfpropagating malicious code yield rather meagre results. Additionally,...
Nikolaos Chatzis, Nevil Brownlee
127
Voted
LICS
1999
IEEE
15 years 6 months ago
Proof Techniques for Cryptographic Processes
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
96
Voted
LREC
2010
175views Education» more  LREC 2010»
15 years 4 months ago
News Image Annotation on a Large Parallel Text-image Corpus
In this paper, we present a multimodal parallel text-image corpus, and propose an image annotation method that exploits the textual information associated with images. Our corpus ...
Pierre Tirilly, Vincent Claveau, Patrick Gros