1036 search results - page 38 / 208 » Report on INEX 2009 |
176
click to vote
FMICS
2009
Springer
16 years 24 days ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
141
click to vote
FQAS
2009
Springer
16 years 24 days ago
2009
Springer
This paper presents the design of a new interface for interactive Topic Detection and Tracking (TDT) called Ievent. It is composed of 3 main views; a Cluster View, a Document View,...
166
click to vote
ICHIT
2009
Springer
16 years 24 days ago
2009
Springer
Foveation principles suggested by natural vision systems enable the construction of a proper mask that may modulate the coefficients given by the Discrete Wavelet Transform of an ...
133
click to vote
ICIDS
2009
Springer
16 years 24 days ago
2009
Springer
We report on the progress we have achieved in development of Emohawk, a 3D virtual reality application with an emergent narrative for teaching high-school students and undergraduat...
145
click to vote
ICISS
2009
Springer
16 years 24 days ago
2009
Springer
We present a survey of Voice over IP security research. Our goal is to provide a roadmap for researchers seeking to understand existing capabilities and, and to identify gaps in ad...