2082 search results - page 324 / 417 » Change Paths in Reasoning! |
ADC
2004
Springer
15 years 2 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
115
click to vote
ECRTS
2004
IEEE
15 years 2 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
FGR
2004
IEEE
15 years 2 months ago
2004
IEEE
In the recent years particle filtering has been the dominant paradigm for tracking facial and body features, recognizing temporal events and reasoning in uncertainty. A major prob...