7167 search results - page 1159 / 1434 » A Technique for Invariant Generation |
188
click to vote
IJCAI
2003
15 years 8 months ago
2003
An agent with limited consumable execution resources needs policies that attempt to achieve good performance while respecting these limitations. Otherwise, an agent (such as a pla...
186
click to vote
IJCAI
2003
15 years 8 months ago
2003
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and ...
174
click to vote
VMV
2001
15 years 8 months ago
2001
When using triangle meshes in numerical simulations or other sophisticated downstream applications, we have to guarantee that no degenerate faces are present since they have, e.g....
224
click to vote
VMV
2001
15 years 8 months ago
2001
Adaptive mesh refinement (AMR) is a numerical simulation technique used in computational fluid dynamics (CFD). By using a set of nested grids of different resolutions, AMR combine...
199
click to vote
TELECARE
2004
15 years 8 months ago
2004
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...