1981 search results - page 385 / 397 » Model-Checking Hierarchical Structures |
DAGSTUHL
2006
13 years 9 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
DAGSTUHL
2001
13 years 9 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
FLAIRS
2003
13 years 9 months ago
2003
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
SEBD
2003
13 years 8 months ago
2003
Abstract. Sensor networks represent a non traditional source of information, as readings generated by sensors flow continuously, leading to an infinite stream of data. Traditiona...
PAKM
1998
13 years 8 months ago
1998
Knowledge Discovery in Databases (KDD), also known as data mining, focuses on the computerized exploration of large amounts of data and on the discovery of interesting patterns wi...