Sciweavers

7366 search results - page 187 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
155
Voted
KES
2007
Springer
15 years 4 months ago
An Application of Machine Learning Methods to PM10 Level Medium-Term Prediction
The study described in this paper, analyzed the urban and suburban air pollution principal causes and identified the best subset of features (meteorological data and air pollutants...
Giovanni Raimondo, Alfonso Montuori, Walter Moniac...
158
Voted
DANTE
1999
IEEE
119views Database» more  DANTE 1999»
15 years 9 months ago
A Semantic Caching Method Based on Linear Constraints
Because performance is a crucial issue in database systems, data caching techniques have been studied in database research field, especially in client-server databases and distrib...
Yoshiharu Ishikawa, Hiroyuki Kitagawa
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
15 years 10 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
IROS
2009
IEEE
142views Robotics» more  IROS 2009»
15 years 11 months ago
ISROBOTNET: A testbed for sensor and robot network systems
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
Marco Barbosa, Alexandre Bernardino, Dario Figueir...