Sciweavers

4961 search results - page 212 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
121
Voted
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 3 months ago
On Probabilistic Alternating Simulations
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
Chenyi Zhang, Jun Pang
LFCS
2009
Springer
15 years 10 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
119
Voted
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 3 months ago
Morphonette: a morphological network of French
This paper describes in details the first version of Morphonette, a new French morphological resource and a new radically lexeme-based method of morphological analysis. This resea...
Nabil Hathout
181
Voted
VLDB
2007
ACM
136views Database» more  VLDB 2007»
16 years 3 months ago
A STEP Towards Realizing Codd's Vision of Rendezvous with the Casual User
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...
Michael Minock
133
Voted
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
15 years 9 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli