Sciweavers

4099 search results - page 36 / 820
» First Class Patterns
Sort
View
MBUI
2004
133views User Interface» more  MBUI 2004»
15 years 1 months ago
From Models to Interactive Systems Tool Support and XIML
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
Peter Forbrig, Anke Dittmar, Daniel Reichart, Dani...
JUCS
2008
157views more  JUCS 2008»
14 years 11 months ago
Using Conjunctions and Adverbs for Author Verification
: Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyer...
Daniel Pavelec, Luiz S. Oliveira, Edson J. R. Just...
SAC
2008
ACM
14 years 11 months ago
Author identification using writer-dependent and writer-independent strategies
In this work we discuss author identification for documents written in Portuguese. Two different approaches were compared. The first is the writer-independent model which reduces ...
Daniel Pavelec, Edson J. R. Justino, Leonardo Vida...
CADE
2005
Springer
16 years 2 days ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
LREC
2008
80views Education» more  LREC 2008»
15 years 1 months ago
Turning a Term Extractor into a new Domain: first Experiences
Computational terminology has notably evolved since the advent of computers. Regarding the extraction of terms in particular, a large number of resources has been developed: from ...
Jorge Vivaldi, Anna Joan, Mercè Lorente