3573 search results - page 493 / 715 » Reasoning about Codata |
175
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
129
click to vote
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
167
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
137
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
166
click to vote
SLE
2009
Springer
15 years 10 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...