31686 search results - page 219 / 6338 » Resource typing in Guru |
CCS
2011
ACM
12 years 10 months ago
2011
ACM
TPHOL
1996
IEEE
14 years 2 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
JSAC
2006
13 years 10 months ago
2006
In an ultra wideband (UWB) impulse radio (IR) system, a number of pulses, each transmitted in an interval called a
NAACL
2007
13 years 11 months ago
2007
We introduce an answer typing strategy specific to quantifiable how questions. Using the web as a data source, we automatically collect answer units appropriate to a given how-q...
ENTCS
2008
13 years 10 months ago
2008
An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterized type definitions is presented. The algorithm generalizes previous...