Sciweavers

7121 search results - page 1086 / 1425
» Functions as Session-Typed Processes
Sort
View
KDD
2004
ACM
157views Data Mining» more  KDD 2004»
16 years 1 days ago
On detecting space-time clusters
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
Vijay S. Iyengar
OTM
2004
Springer
16 years 1 days ago
Managing Long Running Queries in Grid Environment
Exceptionally large amounts of both distributed data and computational resources are becoming available through the Grid. This will enable efficient exchange and processing of very...
Ruslan Fomkin, Tore Risch
PPSN
2004
Springer
16 years 23 hour ago
Evolution of Voronoi-Based Fuzzy Controllers
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. One of the most successful methods to auto...
Carlos Kavka, Marc Schoenauer
SAFECOMP
2004
Springer
16 years 21 hour ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
SBIA
2004
Springer
16 years 21 hour ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
« Prev « First page 1086 / 1425 Last » Next »