Sciweavers

1328 search results - page 120 / 266
» Cut-free common knowledge
Sort
View
DEXAW
2009
IEEE
111views Database» more  DEXAW 2009»
15 years 10 months ago
Integrating Security Patterns into the Electronic Invoicing Process
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...
Michael Netter, Günther Pernul
ICASSP
2009
IEEE
15 years 10 months ago
Registration of multimodal data for estimating the parameters of an articulatory model
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...
M. Aron, Asterios Toutios, M.-O. Berger, E. Kerrie...
ECSQARU
2009
Springer
15 years 10 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter
ERCIMDL
2009
Springer
89views Education» more  ERCIMDL 2009»
15 years 10 months ago
Improving Annotations in Digital Documents
Annotation plays a major role in a user’s reading of a document: from elementary school students making notes on text books to professors marking up their latest research papers....
Jennifer Pearson, George Buchanan, Harold W. Thimb...
ICAIL
2009
ACM
15 years 10 months ago
Modular argumentation for modelling legal doctrines of performance relief
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung