Sciweavers

9444 search results - page 1534 / 1889
» The Language Model LMNtal
Sort
View
SAT
2004
Springer
106views Hardware» more  SAT 2004»
16 years 3 days ago
Local Search with Bootstrapping
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
Lengning Liu, Miroslaw Truszczynski
COOPIS
2003
IEEE
16 years 2 days ago
Analysing Mailboxes of Asynchronous Communicating Components
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
Jean-Claude Royer, Michael Xu
LAWEB
2003
IEEE
16 years 1 days ago
Storing RDF as a Graph
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
Valerie Bönström, Annika Hinze, Heinz Sc...
DOLAP
2003
ACM
16 years 21 hour ago
Advanced visualization for OLAP
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
Andreas S. Maniatis, Panos Vassiliadis, Spiros Ski...
IUI
2003
ACM
16 years 19 hour ago
Dynamic web page authoring by example using ontology-based domain knowledge
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
José Antonio Macías Iglesias, Pablo ...
« Prev « First page 1534 / 1889 Last » Next »