Sciweavers

2944 search results - page 516 / 589
» Robust Semantic Construction
Sort
View
CORR
2009
Springer
106views Education» more  CORR 2009»
15 years 1 months ago
A framework for protein and membrane interactions
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
Giorgio Bacci, Davide Grohmann, Marino Miculan
IJISMD
2010
164views more  IJISMD 2010»
15 years 1 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
146
Voted
ACL
2010
15 years 28 days ago
Detecting Experiences from Weblogs
Weblogs are a source of human activity knowledge comprising valuable information such as facts, opinions and personal experiences. In this paper, we propose a method for mining pe...
Keun-Chan Park, Yoonjae Jeong, Sung-Hyon Myaeng
AI
2011
Springer
14 years 11 months ago
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
Nikos Gorogiannis, Anthony Hunter
172
Voted
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 11 months ago
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
Yael Amsterdamer, Daniel Deutch, Val Tannen