614 search results - page 6 / 123 » DE in Slovenia: Where are We |
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
We present an algorithm for finding an ssparse vector x that minimizes the squareerror y - x 2 where satisfies the restricted isometry property (RIP), with isometric constant 2s ...
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
FSS
2002
13 years 7 months ago
2002
We present a new and natural interpretation of fuzzy sets and fuzzy relations where the basic notions and operations have quite natural meanings. We interpret fuzzy sets and fuzzy...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
LPNMR
2011
Springer
12 years 10 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...