1067 search results - page 145 / 214 » Problem Solving in the DISCO Constraint Database System |
120
Voted
ICAPR
2009
Springer
15 years 9 months ago
2009
Springer
—This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power con...
103
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
: Several studies have shown that explaining actions increases students’ knowledge. In this paper, we discuss how NORMIT supports self-explanation. NORMIT is a constraint-based t...
92
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
115
Voted
ISPD
1997
ACM
15 years 7 months ago
1997
ACM
In this paper, we study optimal bu er design in high-performance VLSI systems. Speci cally, we design a bu er for a given load such that chip area and power dissipation are minima...
134
Voted
POPL
1993
ACM
15 years 6 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...