Sciweavers

977 search results - page 96 / 196
» Soft Constraints for Security
Sort
View
139
Voted
DALT
2008
Springer
15 years 3 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk
ICML
2010
IEEE
15 years 2 months ago
Non-Local Contrastive Objectives
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...
David Vickrey, Cliff Chiung-Yu Lin, Daphne Koller
EOR
2010
119views more  EOR 2010»
15 years 1 months ago
Adaptive Tabu Search for course timetabling
This paper presents an Adaptive Tabu Search algorithm (denoted by ATS) for solving a problem of curriculum-based course timetabling. The proposed algorithm follows a general frame...
Zhipeng Lü, Jin-Kao Hao
123
Voted
TLT
2008
93views more  TLT 2008»
15 years 1 months ago
What Do You Prefer? Using Preferences to Enhance Learning Technology
While the growing number of learning resources increases the choice for learners on how, what and when to learn, it also makes it more and more difficult to find the learning resou...
Philipp Kärger, Daniel Olmedilla, Fabian Abel...
CLOUDCOM
2010
Springer
14 years 11 months ago
Cost-Optimal Outsourcing of Applications into the Clouds
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
Immanuel Trummer, Frank Leymann, Ralph Mietzner, W...