Sciweavers

5630 search results - page 852 / 1126
» Computability in Specification
Sort
View
AAAI
2006
15 years 8 months ago
Compact, Convex Upper Bound Iteration for Approximate POMDP Planning
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...
Tao Wang, Pascal Poupart, Michael H. Bowling, Dale...
AVI
2004
15 years 8 months ago
Temporal Thumbnails: rapid visualization of time-based viewing data
We introduce the concept of the Temporal Thumbnail, used to quickly convey information about the amount of time spent viewing specific areas of a virtual 3D model. Temporal Thumbn...
Michael Tsang, Nigel Morris, Ravin Balakrishnan
BDA
2006
15 years 8 months ago
Integrating Correction into Incremental Validation
Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structu...
Béatrice Bouchou, Ahmed Cheriat, Mirian Hal...
CATE
2004
168views Education» more  CATE 2004»
15 years 8 months ago
Remote e-Learning System for Schools
Experience from the management of distributed computer-based learning resources in schools has been proven to be inefficient and costly. Though commercial software packages are av...
Kai-Pan Mark, Sheung-lun Hung, William Tsang
CSREAESA
2004
15 years 8 months ago
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha