5550 search results - page 877 / 1110 » Different Approaches to Proof Systems |
185
click to vote
IJCAI
2007
15 years 8 months ago
2007
Planning in partially-observable dynamical systems (such as POMDPs and PSRs) is a computationally challenging task. Popular approximation techniques that have proved successful ar...
159
click to vote
AIPS
2004
15 years 8 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
167
click to vote
ICAI
2004
15 years 8 months ago
2004
Quantitatively establishing the discriminative power of iris biometric data is considered. Multi-level 2D wavelet transform has been widely used for iris verification system. Whil...
162
click to vote
CRIWG
2001
15 years 8 months ago
2001
The concept of genre has already been used to analyse organizational communication. It has also been recently used to examine persistent conversations and patterns of thinking. It...
170
click to vote
WICSA
2004
15 years 8 months ago
2004
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...