Sciweavers

2490 search results - page 296 / 498
» Complexity of Contextual Reasoning
Sort
View
JSA
2006
103views more  JSA 2006»
15 years 4 months ago
FMESP: Framework for the modeling and evaluation of software processes
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
Félix García, Mario Piattini, Franci...
130
Voted
KAIS
2006
87views more  KAIS 2006»
15 years 4 months ago
Merging uncertain information with semantic heterogeneity in XML
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
Anthony Hunter, Weiru Liu
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 4 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
TASE
2008
IEEE
15 years 4 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
TGIS
2008
69views more  TGIS 2008»
15 years 4 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer