Sciweavers

43264 search results - page 8201 / 8653
» Comparing models of computation
Sort
View
152
Voted
ASP
2003
Springer
15 years 9 months ago
Parametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
Nicola Leone, Simona Perri
129
Voted
AUSAI
2003
Springer
15 years 9 months ago
Multimedia Analysis and Synthesis
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
Mohan S. Kankanhalli
118
Voted
AWIC
2003
Springer
15 years 9 months ago
Formalization of Web Design Patterns Using Ontologies
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
Susana Montero, Paloma Díaz, Ignacio Aedo
144
Voted
CIKM
2003
Springer
15 years 9 months ago
Queueing analysis of relational operators for continuous data streams
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
Qingchun Jiang, Sharma Chakravarthy
COCOON
2003
Springer
15 years 9 months ago
Tetris is Hard, Even to Approximate
In the popular computer game of Tetris, the player is given a sequence of tetromino pieces and must pack them into a rectangular gameboard initially occupied by a given configurat...
Erik D. Demaine, Susan Hohenberger, David Liben-No...
« Prev « First page 8201 / 8653 Last » Next »