Sciweavers

3116 search results - page 70 / 624
» Positively dependent types
Sort
View
IFIP12
2008
15 years 1 months ago
A Risk Assessment System with Automatic Extraction of Event Types
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
Philippe Capet, Thomas Delavallade, Takuya Nakamur...
FASE
2004
Springer
15 years 5 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
79
Voted
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
15 years 4 months ago
Networked state estimation over a Gilbert-Elliot type channel
Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...
Peter Almstrom, Maben Rabi, Mikael Johansson
BMEI
2008
IEEE
15 years 1 months ago
A New Type of Image-Based Key
Keys are character based tools for plant identification. They are based on the decomposition of the plant into very small, atomistic parts. These parts are described with the tech...
Bruce Kirchoff, David Remington, Lixin Fu, Fereido...
RC
2007
78views more  RC 2007»
14 years 11 months ago
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
Vladik Kreinovich, Jan Beck, Carlos Ferregut, Arac...