Sciweavers

2944 search results - page 508 / 589
» Robust Semantic Construction
Sort
View
SIGCOMM
2010
ACM
15 years 6 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
C++
1994
128views more  C++ 1994»
15 years 7 months ago
Implementing Signatures for C++
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
Gerald Baumgartner, Vincent F. Russo
BMCBI
2008
100views more  BMCBI 2008»
15 years 6 months ago
Extracting unrecognized gene relationships from the biomedical literature via matrix factorizations
Background: The construction of literature-based networks of gene-gene interactions is one of the most important applications of text mining in bioinformatics. Extracting potentia...
Hyunsoo Kim, Haesun Park, Barry L. Drake
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 5 months ago
The craft of model making: PSPACE bounds for non-iterative modal logics
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
Lutz Schröder, Dirk Pattinson
138
Voted
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 5 months ago
Function and form of gestures in a collaborative design meeting
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
Willemien Visser