Sciweavers

8540 search results - page 1502 / 1708
» The Dynamic Servers Problem
Sort
View
108
Voted
ISLPED
2000
ACM
99views Hardware» more  ISLPED 2000»
15 years 8 months ago
Energy minimization with guaranteed quality of service
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...
Gang Qu, Miodrag Potkonjak
136
Voted
SC
2000
ACM
15 years 8 months ago
Expressing and Enforcing Distributed Resource Sharing Agreements
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
Tao Zhao, Vijay Karamcheti
115
Voted
AGENTS
2000
Springer
15 years 8 months ago
Interactive pedagogical drama
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
Stacy Marsella, W. Lewis Johnson, Catherine LaBore
141
Voted
CL
2000
Springer
15 years 8 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole
157
Voted
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 8 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
« Prev « First page 1502 / 1708 Last » Next »