2703 search results - page 350 / 541 » Working Class Hero |
148
click to vote
CCA
2005
Springer
16 years 3 days ago
2005
Springer
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...
150
click to vote
CICLING
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper describes our work in integrating three different lexical resources: FrameNet, VerbNet, and WordNet, into a unified, richer knowledge-base, to the end of ena...
178
click to vote
CSL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
167
click to vote
FC
2005
Springer
16 years 2 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
211
click to vote
FSTTCS
2005
Springer
16 years 2 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...