Sciweavers

1458 search results - page 110 / 292
» Monads for incremental computing
Sort
View
119
Voted
PADL
2010
Springer
16 years 7 days ago
First-Order Interactive Programming
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
Roly Perera
135
Voted
COMPGEOM
2009
ACM
15 years 10 months ago
Parallel geometric algorithms for multi-core computers
Computers with multiple processor cores using shared memory are now ubiquitous. In this paper, we present several parallel geometric algorithms that specifically target this envi...
Vicente H. F. Batista, David L. Millman, Sylvain P...
ICNP
1998
IEEE
15 years 7 months ago
On Reducing the Processing Cost of On-Demand QoS Path Computation
Quality of Service (QoS) routing algorithms have become the focus of recent research due to their potential for increasing the utilization of an Integrated Services Packet Network...
George Apostolopoulos, Satish K. Tripathi
140
Voted
AAAI
2000
15 years 4 months ago
Human-Level AI's Killer Application: Interactive Computer Games
Although one of the fundamental goals of AI is to understand and develop intelligent systems that have all of the capabilities of humans, there is little active research directly ...
John E. Laird, Michael van Lent
ICDE
2010
IEEE
227views Database» more  ICDE 2010»
16 years 3 months ago
Approximate Confidence Computation in Probabilistic Databases
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
Dan Olteanu, Jiewen Huang, Christoph Koch