Sciweavers

1287 search results - page 211 / 258
» Unnatural language detection
Sort
View
BIRTHDAY
2004
Springer
15 years 11 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
CC
2004
Springer
110views System Software» more  CC 2004»
15 years 11 months ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
KI
2004
Springer
15 years 11 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
PAKDD
2004
ACM
97views Data Mining» more  PAKDD 2004»
15 years 11 months ago
Further Applications of a Particle Visualization Framework
Our previous work introduced a 3D particle visualization framework that viewed each data point as being a particle affected by gravitational forces. We showed the use of this tool ...
Ke Yin, Ian Davidson
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
15 years 11 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz