Sciweavers

3689 search results - page 520 / 738
» A Language with Distributed Scope
Sort
View
117
Voted
RSP
2009
IEEE
149views Control Systems» more  RSP 2009»
15 years 10 months ago
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions
Aspect-oriented mechanisms have been widely exploited at the programming-level. Nevertheless, little has been achieved at the architectural level, and this despite the potential b...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
WINE
2009
Springer
194views Economy» more  WINE 2009»
15 years 10 months ago
Mechanism Design for Complexity-Constrained Bidders
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi
99
Voted
ATAL
2009
Springer
15 years 10 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
CIE
2009
Springer
15 years 10 months ago
Computable Exchangeable Sequences Have Computable de Finetti Measures
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
Cameron E. Freer, Daniel M. Roy
111
Voted
DBPL
2009
Springer
144views Database» more  DBPL 2009»
15 years 10 months ago
General Database Statistics Using Entropy Maximization
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
Raghav Kaushik, Christopher Ré, Dan Suciu