3174 search results - page 459 / 635 » An Exploration of the Permanent-Determinant Method |
203
Voted
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...
190
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
182
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
153
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Team strategy acquisition is one of the most important issues of multiagent systems, especially in an adversary environment. RoboCup has been providing such an environment for AI a...
203
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...