Sciweavers

751 search results - page 81 / 151
» Consistency techniques for interprocedural test data generat...
Sort
View
FMOODS
2006
13 years 9 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
ECCV
2006
Springer
13 years 11 months ago
Robust 3D Segmentation of Multiple Moving Objects Under Weak Perspective
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
Levente Hajder, Dmitry Chetverikov
VIS
2004
IEEE
130views Visualization» more  VIS 2004»
14 years 9 months ago
The VesselGlyph: Focus & Context Visualization in CT-Angiography
Reliable and complete blood-vessel segmentation is still a challenging problem. This is especially true in the presence of morphologic changes resulting from atherosclerotic disea...
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
14 years 2 months ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
Suren Chilingaryan
SAC
2004
ACM
14 years 1 months ago
A comparison of randomized and evolutionary approaches for optimizing base station site selection
It is increasingly important to optimally select base stations in the design of cellular networks, as customers demand cheaper and better wireless services. From a set of potentia...
Larry Raisanen, Roger M. Whitaker, Steve Hurley