734 search results - page 84 / 147 » Undecidability over Continuous Time |
WSDM
2012
ACM
12 years 5 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
SIGMETRICS
2009
ACM
14 years 4 months ago
2009
ACM
We present a system for allocating resources in shared data and compute clusters that improves MapReduce job scheduling in three ways. First, the system uses regulated and user-as...
KI
2007
Springer
14 years 4 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
GMP
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
AI
1998
Springer
13 years 9 months ago
1998
Springer
Given a set of numbers, the two-way partitioning problem is to divide them into two subsets, so that the sum of the numbers in each subset are as nearly equal as possible. The pro...