1999 search results - page 165 / 400 » Dependently Typed Grammars |
181
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
122
click to vote
ACL
2008
15 years 7 months ago
2008
We identify four types of errors that unsupervised induction systems make and study each one in turn. Our contributions include (1) using a meta-model to analyze the incorrect bia...
145
click to vote
JEC
2006
15 years 6 months ago
2006
The trend of the networking processing is to increase the intelligence of the routers (i.e. security capacities). This means that there is an increment in the workload generated p...
159
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...
142
click to vote
SIAMCO
2010
15 years 4 months ago
2010
We consider control systems of the type ˙x = Ax+α(t)bu, where u ∈ R, (A, b) is a controllable pair and α is an unknown time-varying signal with values in [0, 1] satisfying a ...