Sciweavers

676 search results - page 66 / 136
» A model and architecture for situation determination
Sort
View
DAC
1998
ACM
14 years 9 months ago
Efficient Coloring of a Large Spectrum of Graphs
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
Darko Kirovski, Miodrag Potkonjak
IWDW
2005
Springer
14 years 1 months ago
Performance Lower Bounds for Existing and New Uncoded Digital Watermarking Modulation Techniques
Abstract. Many coded digital watermarking systems development requires first the selection of a (uncoded) modulation technique to be part of a coded architecture. Therefore, perfo...
Marcos de Castro Pacitti, Weiler Alves Finamore
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 13 days ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ATAL
2007
Springer
14 years 2 months ago
Market-driven agents with uncertain and dynamic outside options
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...
Fenghui Ren, Kwang Mong Sim, Minjie Zhang
ATAL
2008
Springer
13 years 10 months ago
An empathic virtual dialog agent to improve human-machine interaction
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To identify under which circums...
Magalie Ochs, Catherine Pelachaud, David Sadek