Sciweavers

4836 search results - page 306 / 968
» Exploring the Similarity Space
Sort
View
208
Voted
SSD
2001
Springer
111views Database» more  SSD 2001»
15 years 12 months ago
Querying Mobile Objects in Spatio-Temporal Databases
In dynamic spatio-temporal environments where objects may continuously move in space, maintaining consistent information about the location of objects and processing motion-speciï¬...
Kriengkrai Porkaew, Iosif Lazaridis, Sharad Mehrot...
ASM
2010
ASM
15 years 10 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
199
Voted
VDA
2010
185views Visualization» more  VDA 2010»
15 years 10 months ago
Visualizing multidimensional data through granularity-dependent spatialization
Spatialization is a special kind of visualization that projects multidimensional data into low-dimensional representational spaces by making use of spatial metaphors. Spatializati...
Sofia Kontaxaki, Eleni Tomai, Margarita Kokla, Mar...
233
Voted
ACL
2008
15 years 9 months ago
Bayesian Learning of Non-Compositional Phrases with Synchronous Parsing
We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is ...
Hao Zhang, Chris Quirk, Robert C. Moore, Daniel Gi...
164
Voted
CASCON
2006
98views Education» more  CASCON 2006»
15 years 8 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight