10891 search results - page 1541 / 2179 » Combining Model Reductions |
160
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
158
click to vote
AIME
2005
Springer
16 years 14 days ago
2005
Springer
A knowledge management perspective is rarely used to model a process. Using the cognitive perspective on knowledge management in which we start our analysis with events and knowled...
158
click to vote
AIRS
2005
Springer
16 years 14 days ago
2005
Springer
In this paper, we propose new photo categorization which is suitable for a home photo album. To enhance the categorization, both local and global concepts of the photos are modeled...
130
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
In complex multi-agent fusion systems resource conflicts are very likely to occur. We propose an algorithm that determines the optimal sensing resource to fusion task assignment,...
207
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...