Sciweavers

8706 search results - page 1156 / 1742
» Learning Subjective Language
Sort
View
MFCS
2005
Springer
16 years 22 days ago
Inverse Monoids: Decidability and Complexity of Algebraic Questions
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
Markus Lohrey, Nicole Ondrusch
MHCI
2005
Springer
16 years 22 days ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
OOPSLA
2005
Springer
16 years 22 days ago
Using predicate fields in a highly flexible industrial control system
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
Shay Artzi, Michael D. Ernst
PPDP
2005
Springer
16 years 21 days ago
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
Alessandro Dal Palù, Agostino Dovier, Enric...
UM
2005
Springer
16 years 21 days ago
Modeling Suppositions in Users' Arguments
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
Sarah George, Ingrid Zukerman, Michael Niemann
« Prev « First page 1156 / 1742 Last » Next »