Sciweavers

3907 search results - page 514 / 782
» Time, Knowledge, and Choice
Sort
View
LOGCOM
1998
178views more  LOGCOM 1998»
15 years 6 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
SCFBM
2008
143views more  SCFBM 2008»
15 years 6 months ago
LSID Tester, a tool for testing Life Science Identifier resolution services
Background: Life Science Identifiers (LSIDs) are persistent, globally unique identifiers for biological objects. The decentralised nature of LSIDs makes them attractive for identi...
Roderic D. M. Page
MANSCI
2010
94views more  MANSCI 2010»
15 years 5 months ago
Contracting for Infrequent Restoration and Recovery of Mission-Critical Systems
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
Sang-Hyun Kim, Morris A. Cohen, Serguei Netessine,...
PVLDB
2010
167views more  PVLDB 2010»
15 years 5 months ago
Runtime Measurements in the Cloud: Observing, Analyzing, and Reducing Variance
One of the main reasons why cloud computing has gained so much popularity is due to its ease of use and its ability to scale computing resources on demand. As a result, users can ...
Jörg Schad, Jens Dittrich, Jorge-Arnulfo Quia...
TIP
2010
312views more  TIP 2010»
15 years 5 months ago
A Novel Multiresolution Spatiotemporal Saliency Detection Model and Its Applications in Image and Video Compression
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
Chenlei Guo, Liming Zhang