2940 search results - page 243 / 588 » Relational Parametricity and Control |
196
click to vote
EJC
2010
15 years 1 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
256
click to vote
NIPS
2008
15 years 8 months ago
2008
Many popular optimization algorithms, like the Levenberg-Marquardt algorithm (LMA), use heuristic-based "controllers" that modulate the behavior of the optimizer during ...
161
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
: Significant progress has been made by the computer vision community in recent years along two fronts: (i) developing complex spatial-temporal models for object registration and t...
186
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
A geometric and non parametric procedure for testing if two nite set of points are linearly separable is proposed. The Linear Separability Test is equivalent to a test that deter...
181
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...