Sciweavers

2338 search results - page 173 / 468
» Using UML to model relational database operations
Sort
View
159
Voted
VLSM
2005
Springer
15 years 11 months ago
Advances in Variational Image Segmentation Using AM-FM Models: Regularized Demodulation and Probabilistic Cue Integration
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
Georgios Evangelopoulos, Iasonas Kokkinos, Petros ...
181
Voted
TSE
2008
92views more  TSE 2008»
15 years 6 months ago
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
ISER
2000
Springer
80views Robotics» more  ISER 2000»
15 years 9 months ago
Robot Navigation for Automatic Model Construction Using Safe Regions
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
Héctor H. González-Baños, Jea...
VLDB
1998
ACM
180views Database» more  VLDB 1998»
15 years 10 months ago
nD-SQL: A Multi-Dimensional Language for Interoperability and OLAP
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
Frédéric Gingras, Laks V. S. Lakshma...
BCS
2008
15 years 7 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002