Sciweavers

4880 search results - page 640 / 976
» Manuals as Structured Programs
Sort
View
191
Voted
MEMBRANE
2004
Springer
16 years 4 days ago
LMNtal: A Language Model with Links and Membranes
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
Kazunori Ueda, Norio Kato
ISSRE
2003
IEEE
16 years 1 days ago
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
Peter G. Bishop, Robin E. Bloomfield
AOSD
2003
ACM
16 years 23 hour ago
Conquering aspects with Caesar
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
Mira Mezini, Klaus Ostermann
ICALP
2003
Springer
15 years 12 months ago
Scaled Dimension and Nonuniform Complexity
Resource-bounded dimension is a complexity-theoretic extension of classical Hausdorff dimension introduced by Lutz (2000) in order to investigate the fractal structure of sets th...
John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo
ECCV
2010
Springer
15 years 11 months ago
MRF Inference by k-Fan Decomposition and Tight Lagrangian Relaxation
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...