Sciweavers

16190 search results - page 217 / 3238
» Applicative programming with effects
Sort
View
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
16 years 3 months ago
XML query optimization in the presence of side effects
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
CSR
2010
Springer
15 years 6 months ago
A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem
Abstract. The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. While thorough theoretical and experimental analyses have been ...
Gerold Jäger, Weixiong Zhang
129
Voted
IWEC
2004
15 years 5 months ago
EffecTV: A Real-Time Software Video Effect Processor for Entertainment
EffecTV is a real-time software video effect processor based on motion detection and image processing techniques. EffecTV was released in 2001 as an open source software, and has b...
Kentaro Fukuchi, Sam Mertens, Ed Tannenbaum
148
Voted
AAAI
2011
14 years 3 months ago
Effective End-User Interaction with Machine Learning
End-user interactive machine learning is a promising tool for enhancing human productivity and capabilities with large unstructured data sets. Recent work has shown that we can cr...
Saleema Amershi, James Fogarty, Ashish Kapoor, Des...
CGO
2009
IEEE
15 years 10 months ago
OptiScope: Performance Accountability for Optimizing Compilers
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
Tipp Moseley, Dirk Grunwald, Ramesh Peri