Sciweavers

531 search results - page 18 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
VL
2002
IEEE
107views Visual Languages» more  VL 2002»
15 years 4 months ago
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
Laura Beckwith, Margaret M. Burnett, Curtis R. Coo...
FLAIRS
2004
15 years 1 months ago
Reasoning about Beliefs, Observability, and Information Exchange in Teamwork
Communication is an important aspect of teamwork, both in human teams and in multi-agent teams. One of the most vital roles for communication is for information exchange, such as ...
Thomas R. Ioerger
INFORMATICALT
2006
150views more  INFORMATICALT 2006»
14 years 11 months ago
A Multiresolution Approach Based on MRF and Bak-Sneppen Models for Image Segmentation
The two major Markov Random Fields (MRF) based algorithms for image segmentation are the Simulated Annealing (SA) and Iterated Conditional Modes (ICM). In practice, compared to the...
Kamal E. Melkemi, Mohamed Batouche, Sebti Foufou
JSS
2007
75views more  JSS 2007»
14 years 11 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han
CP
2007
Springer
15 years 6 months ago
Reformulating CSPs for Scalability with Application to Geospatial Reasoning
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch...