225 search results - page 27 / 45 » Defining new argumentation-based semantics by minimal models |
176
click to vote
DMDW
2001
15 years 7 months ago
2001
In this paper we address the issue of conceptual modeling of data used in multidimensional analysis. We view the problem from the end-user point of view and we describe a set of r...
154
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
231
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
Correctly generating a structured query (e.g., an XQuery or a SQL query) requires the user to have a full understanding of the database schema, which can be a daunting task. Alter...
199
click to vote
SEMCO
2009
IEEE
16 years 12 days ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
225
click to vote
SBMF
2010
Springer
15 years 12 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...