Sciweavers

3865 search results - page 192 / 773
» From Bidirectionality to Alternation
Sort
View
CSCWD
2008
Springer
15 years 8 months ago
Educational technology for collaborative virtual environments
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...
Marcio Cunha, Alberto Barbosa Raposo, Hugo Fuks
FOSSACS
2008
Springer
15 years 8 months ago
A Modal Deconstruction of Access Control Logics
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
Deepak Garg, Martín Abadi
ACL
2008
15 years 8 months ago
Forest Reranking: Discriminative Parsing with Non-Local Features
Conventional n-best reranking techniques often suffer from the limited scope of the nbest list, which rules out many potentially good alternatives. We instead propose forest reran...
Liang Huang
ECIR
2007
Springer
15 years 8 months ago
Active Learning with History-Based Query Selection for Text Categorisation
Automated text categorisation systems learn a generalised hypothesis from large numbers of labelled examples. However, in many domains labelled data is scarce and expensive to obta...
Michael Davy, Saturnino Luz
BIOCOMP
2006
15 years 8 months ago
Identification of Intrinsically Unstructured Regions in Proteins Using Primary Structure
Most proteins function only when folded into a particular 3D configuration. Recently, a class of proteins has been discovered that do not fold into any particular configuration; t...
Mary Qu Yang, Jack Y. Yang