Sciweavers

9425 search results - page 270 / 1885
» Some Notes on Models and Modelling
Sort
View
150
Voted
GISCIENCE
2004
Springer
112views GIS» more  GISCIENCE 2004»
15 years 9 months ago
Project Lachesis: Parsing and Modeling Location Histories
Abstract. A datatype with increasing importance in GIS is what we call the location history–a record of an entity’s location in geographical space over an interval of time. Thi...
Ramaswamy Hariharan, Kentaro Toyama
ICFEM
2004
Springer
15 years 9 months ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
109
Voted
ICDM
2003
IEEE
105views Data Mining» more  ICDM 2003»
15 years 9 months ago
SVM Based Models for Predicting Foreign Currency Exchange Rates
Support vector machine (SVM) has appeared as a powerful tool for forecasting forex market and demonstrated better performance over other methods, e.g., neural network or ARIMA bas...
Joarder Kamruzzaman, Ruhul A. Sarker, Iftekhar Ahm...
ECSQARU
2003
Springer
15 years 9 months ago
A Multi-layered Bayesian Network Model for Structured Document Retrieval
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
Fabio Crestani, Luis M. de Campos, Juan M. Fern&aa...
141
Voted
GCC
2003
Springer
15 years 9 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi