Sciweavers

2107 search results - page 88 / 422
» b 2007
Sort
View
95
Voted
EJC
2002
15 years 15 days ago
Homology of Newtonian Coalgebras
Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed for two important Newtonian coalgebras arising in ...
Richard Ehrenborg, Margaret Readdy
94
Voted
APAL
2006
73views more  APAL 2006»
15 years 23 days ago
On the parallel between the suplattice and preframe approaches to locale theory
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...
Christopher F. Townsend
84
Voted
ACL
1998
15 years 2 months ago
The Berkeley FrameNet Project
FrameNet is a three-year NSF-supported project in corpus-based computational lexicography, now in its second year NSF IRI-9618838, Tools for Lexicon Building". The project�...
Collin F. Baker, Charles J. Fillmore, John B. Lowe
93
Voted
CSL
2007
Springer
15 years 4 months ago
Logical Refinements of Church's Problem
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
Alexander Rabinovich, Wolfgang Thomas
110
Voted
IJCAI
1989
15 years 1 months ago
Reasoning About Assumptions in Graphs of Models
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
Sanjaya Addanki, Roberto Cremonini, J. Scott Penbe...