Sciweavers

1838 search results - page 132 / 368
» Process modelling: the deontic way
Sort
View
WWW
2002
ACM
16 years 5 days ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
DBPL
1997
Springer
94views Database» more  DBPL 1997»
15 years 3 months ago
Querying Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
SEBD
1997
134views Database» more  SEBD 1997»
15 years 26 days ago
A Systematic Approach to Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
ICIP
2003
IEEE
16 years 1 months ago
An approach to detect video transitions based on mathematical morphology
The video segmentation problem can be regarded as a problem of detecting the fundamental video units (shots). Due to different ways of linking two consecutive shots this task turn...
Arnaldo de Albuquerque Araújo, Michel Coupr...
DSMML
2004
Springer
15 years 4 months ago
Extensions of the Informative Vector Machine
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
Neil D. Lawrence, John C. Platt, Michael I. Jordan