1302 search results - page 241 / 261 » Soundness in the Public-Key Model |
187
click to vote
IBPRIA
2007
Springer
16 years 10 days ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
166
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
187
click to vote
MIR
2010
ACM
15 years 11 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
191
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
211
click to vote
ICCS
1999
Springer
15 years 10 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...