Sciweavers

2891 search results - page 56 / 579
» More or Less Elaborate
Sort
View
IAJIT
2008
319views more  IAJIT 2008»
14 years 10 months ago
Diagnosis of Distillation Column Problems Using New Generation Gamma-Ray Scanning Gauge
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
Khalid Laraki, Rachad Alami, Rajaa El Morsli, Abde...
103
Voted
CLEIEJ
2006
88views more  CLEIEJ 2006»
14 years 10 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
110
Voted
COMPUTER
2006
87views more  COMPUTER 2006»
14 years 10 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
67
Voted
EWC
2006
61views more  EWC 2006»
14 years 10 months ago
Embarrassingly parallel mesh refinement by edge subdivision
We have previously proposed a new technique for the communication-free adaptive refinement of tetrahedral meshes that works for all configurations. Implementations of the scheme mu...
David C. Thompson, Philippe P. Pébay
66
Voted
IPM
2008
120views more  IPM 2008»
14 years 10 months ago
An information-pattern-based approach to novelty detection
ct 9 In this paper, a new novelty detection approach based on the identification of sentence level information patterns is 10 proposed. First, ``novelty'' is redefined ba...
Xiaoyan Li, W. Bruce Croft