Sciweavers

579 search results - page 71 / 116
» Intersecting Classes and Prototypes
Sort
View
NGC
2008
Springer
149views Communications» more  NGC 2008»
13 years 7 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi
SQJ
2008
96views more  SQJ 2008»
13 years 6 months ago
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
Dae-Kyoo Kim, Wuwei Shen
JUCS
2010
143views more  JUCS 2010»
13 years 6 months ago
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
Václav Dvorák, Petr Mikusek
CVPR
2011
IEEE
12 years 11 months ago
Wide-angle Micro Sensors for Vision on a Tight Budget
Achieving computer vision on micro-scale devices is a challenge. On these platforms, the power and mass constraints are severe enough for even the most common computations (matrix...
Sanjeev Koppal, Todd Zickler, Ioannis Gkioulekas
CVPR
1999
IEEE
14 years 10 months ago
Deformable Template and Distribution Mixture-Based Data Modeling for the Endocardial Contour Tracking in an Echographic Sequence
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...
Max Mignotte, Jean Meunier