143 search results - page 20 / 29 » A Dynamic View on Model Construction for Discourse Interpret... |
129
click to vote
SIGMETRICS
2006
ACM
15 years 6 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
123
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
111
Voted
CRITICAL
2005
15 years 2 months ago
2005
While affective computing explicitly challenges the primacy of rationality in cognitivist accounts of human activity, at a deeper level it relies on and reproduces the same inform...
98
Voted
ROBOCUP
2004
Springer
15 years 5 months ago
2004
Springer
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...
112
click to vote
JMLR
2006
15 years 10 days ago
2006
Kernels are two-placed functions that can be interpreted as inner products in some Hilbert space. It is this property which makes kernels predestinated to carry linear models of l...