Sciweavers

1937 search results - page 329 / 388
» Starting B Specifications from Use Cases
Sort
View
WSC
1998
15 years 5 months ago
Verification and Validation and Complex Environments: A Study in Service Sector
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
Roger Jenkins, Yogesh Deshpande, Graydon Davison
ICPR
2010
IEEE
15 years 4 months ago
Optimization of Target Objects for Natural Feature Tracking
— This paper investigates possible physical alterations of tracking targets to obtain improved 6DoF pose detection for a camera observing the known targets. We explore the influe...
Lukas Gruber, Stefanie Zollmann, Daniel Wagner, Di...
ENTCS
2010
96views more  ENTCS 2010»
15 years 4 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
AAMAS
2006
Springer
15 years 4 months ago
TRAVOS: Trust and Reputation in the Context of Inaccurate Information Sources
In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested and when trusted to perform an action for another...
W. T. Luke Teacy, Jigar Patel, Nicholas R. Jenning...
APIN
2006
154views more  APIN 2006»
15 years 4 months ago
Service matching in agent systems
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
Anton Naumenko, Sergiy Nikitin, Vagan Y. Terziyan