6300 search results - page 49 / 1260 » We have it easy, but do we have it right |
111
Voted
PUK
2000
15 years 2 months ago
2000
GraphPlan-like and SATPLAN-like planners have shown to outperform classical planners for most of the classical planning domains. However, these two propositional approaches do not ...
NCA
2008
IEEE
15 years 7 months ago
2008
IEEE
Denial of service (DoS) attacks are major threat against availability in the Internet. A large number of countermeasure techniques try to detect attack and then filter out DoS at...
97
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— The problem of accurate 6-DoF pose estimation of 3D objects based on their shape has so far been solved only for specific object geometries. Edge-based recognition and trackin...
103
Voted
CSR
2007
Springer
15 years 7 months ago
2007
Springer
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
113
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...