8874 search results - page 178 / 1775 » A New Implementation of Automath |
143
click to vote
COMPSAC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
176
click to vote
APDC
1994
15 years 5 months ago
1994
WEA is our implementation of a new architectural model for virtual memory access, the WorkSpace. It relies on a generalisation of client / server model and enables to build new di...
141
click to vote
NAACL
2010
15 years 2 months ago
2010
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
129
click to vote
NAACL
2010
15 years 2 months ago
2010
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...
166
click to vote
ECRTS
2009
IEEE
15 years 1 months ago
2009
IEEE
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems. A new phase-fair reader-writer lock i...