631 search results - page 50 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
135
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper, a novel unsupervised approach for the segmentation of unorganized 3D points sets is proposed. The method derives by the mean shift clustering paradigm devoted to se...
ITS
2010
Springer
15 years 6 months ago
2010
Springer
A key promise of narrative-centered learning environments is the ability to make learning engaging. However, there is concern that learning and engagement may be at odds in these g...
116
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Applications have an increasing need to manage semistructured data such as data encoded in XML along with conventional structured data. We extend the structured object database ...
LREC
2008
15 years 3 months ago
2008
In human face-to-face interaction, participants can rely on a number of audio-visual information for interpreting interlocutors' communicative intentions, such information st...
109
click to vote
FUIN
2006
15 years 1 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...