Sciweavers

4708 search results - page 177 / 942
» Generating the Structure of Argument
Sort
View
163
Voted
SEMWEB
2007
Springer
16 years 7 days ago
YARS2: A Federated Repository for Querying Graph Structured Data from the Web
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
Andreas Harth, Jürgen Umbrich, Aidan Hogan, S...
156
Voted
CAISE
2003
Springer
15 years 11 months ago
From State to Structure: an XML Web Publishing Framework
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Moira C. Norrie, Alexios Palinginis
CAV
2003
Springer
154views Hardware» more  CAV 2003»
15 years 11 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
ECBS
1999
IEEE
93views Hardware» more  ECBS 1999»
15 years 10 months ago
Structured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
Gabor Karsai
151
Voted
ACL
2004
15 years 7 months ago
Corpus-Based Induction of Syntactic Structure: Models of Dependency and Constituency
We present a generative model for the unsupervised learning of dependency structures. We also describe the multiplicative combination of this dependency model with a model of line...
Dan Klein, Christopher D. Manning