381 search results - page 52 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
219
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
ICVS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract— An autonomous mobile robot must face the correspondence or data association problem in order to carry out tasks like place recognition or unknown environment mapping. I...
133
click to vote
ISNN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
113
click to vote
CAMP
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
114
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...