Sciweavers

12597 search results - page 2215 / 2520
» Complexity of Mechanism Design
Sort
View
DLOG
2009
15 years 5 months ago
A Matter of Principles: Towards the Largest DLP Possible
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
Markus Krötzsch, Sebastian Rudolph
EGC
2009
Springer
15 years 5 months ago
Alignment-Based Partitioning of Large-Scale Ontologies
Abstract Ontology alignment is an important task for information integration systems that can make different resources, described by various and heterogeneous ontologies, interoper...
Fayçal Hamdi, Brigitte Safar, Chantal Reyna...
222
Voted
EKNOW
2009
15 years 5 months ago
Visual Middle-Out Modeling of Problem Spaces
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
Andrea Valente
218
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GRAPHICSINTERFACE
2009
15 years 5 months ago
Fast low-memory streaming MLS reconstruction of point-sampled surfaces
We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, m...
Gianmauro Cuccuru, Enrico Gobbetti, Fabio Marton, ...
« Prev « First page 2215 / 2520 Last » Next »