Sciweavers

1587 search results - page 228 / 318
» The Semantics of Extended SOFL
Sort
View
DATESO
2004
165views Database» more  DATESO 2004»
13 years 11 months ago
Multi-dimensional Sparse Matrix Storage
Large sparse matrices play important role in many modern information retrieval methods. These methods, such as clustering, latent semantic indexing, performs huge number of computa...
Jiri Dvorský, Michal Krátký
GVD
2004
111views Database» more  GVD 2004»
13 years 11 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
IJCAI
2001
13 years 11 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
FMOODS
2003
13 years 11 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
PARMA
2004
129views Database» more  PARMA 2004»
13 years 11 months ago
Towards a Language for Pattern Manipulation and Querying
Patterns are concise, but rich in semantic, representation of data. The approaches proposed in the literature to cope with pattern management problems usually deal with a single ty...
Elisa Bertino, Barbara Catania, Anna Maddalena