Sciweavers

6884 search results - page 1076 / 1377
» The macro-structure of use of help
Sort
View
ICFCA
2009
Springer
16 years 1 months ago
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
Frithjof Dau
175
Voted
LATA
2009
Springer
16 years 1 months ago
Termination of Priority Rewriting
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
Isabelle Gnaedig
CEC
2009
IEEE
16 years 1 months ago
Coevolution of simulator proxies and sampling strategies for petroleum reservoir modeling
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
Tina Yu, Dave Wilkinson
CSE
2009
IEEE
16 years 1 months ago
Social Interaction History: A Framework for Supporting Exploration of Social Information Spaces
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
Indratmo, Julita Vassileva
DATE
2009
IEEE
135views Hardware» more  DATE 2009»
16 years 1 months ago
System-level hardware-based protection of memories against soft-errors
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
Valentin Gherman, Samuel Evain, Mickael Cartron, N...
« Prev « First page 1076 / 1377 Last » Next »