2958 search results - page 285 / 592 » Extending and Implementing RASP |
135
Voted
KDD
2007
ACM
16 years 28 days ago
2007
ACM
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and different r...
107
Voted
VLSID
2001
IEEE
16 years 27 days ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
170
Voted
SIGMOD
2005
ACM
16 years 21 days ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...
117
click to vote
EDBT
2008
ACM
16 years 20 days ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
107
Voted
ICFP
2006
ACM
16 years 15 days ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...