3318 search results - page 324 / 664 » The Weak Instance Model |
138
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
132
Voted
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
134
click to vote
ICVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
166
click to vote
CIBCB
2008
IEEE
15 years 11 months ago
2008
IEEE
— Molecular docking is an essential tool for drug design. It helps the scientist to rapidly know if two molecules, respectively called ligand and receptor, can be combined togeth...
134
click to vote
SRDS
2007
IEEE
15 years 11 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...