1492 search results - page 228 / 299 » Testing Properties of Constraint-Graphs |
129
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
146
click to vote
ETRA
2008
ACM
15 years 5 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
145
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...
105
click to vote
BIS
2008
15 years 5 months ago
2008
: Contrary to a Wiki where the opinion of the individual user disappears in favor of a more impartial `collective intelligence', a weblog is author-centered, expressing the au...
115
click to vote
LREC
2010
15 years 5 months ago
2010
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...