Sciweavers

5066 search results - page 276 / 1014
» Spectra of structures and relations
Sort
View
ACL
1993
15 years 7 months ago
Guiding an HPSG Parser using Semantic and Pragmatic Expectations
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
Jim Skon
TCS
2008
15 years 6 months ago
Constructibility and decidability versus domain independence and absoluteness
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
Arnon Avron
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 10 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
CSSW
2007
15 years 8 months ago
A Prototype to Explore Content and Context on Social Community Sites
: The SIOC Ontology can be used to express information from the online community sites in a machine-readable form using RDF. This rich data structure allows us to easily analyse an...
Uldis Bojars, Benjamin Heitmann, Eyal Oren
DMDW
2000
101views Management» more  DMDW 2000»
15 years 7 months ago
Metadata for object-relational data warehouse
For developing data warehouse (DW) and OnLine Analytical Processing (OLAP) systems, the dominant relational database reaches its limitations. On the way of the development, object...
Thanh N. Huynh, Oscar Mangisengi, A. Min Tjoa