Sciweavers

21319 search results - page 381 / 4264
» An Approach for Method Reengineering
Sort
View
SAFECOMP
2004
Springer
16 years 3 days ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
3DIM
2003
IEEE
16 years 1 days ago
A Hierarchical Method for Aligning Warped Meshes
Current alignment algorithms for registering range data captured from a 3D scanner assume that the range data depicts identical geometry taken from different views. However, in th...
Leslie Ikemoto, Natasha Gelfand, Marc Levoy
INFOVIS
2003
IEEE
16 years 1 days ago
EdgeLens: An Interactive Method for Managing Edge Congestion in Graphs
An increasing number of tasks require people to explore, navigate and search extremely complex data sets visualized as graphs. Examples include electrical and telecommunication ne...
Nelson Wong, M. Sheelagh T. Carpendale, Saul Green...
ICIAP
2003
ACM
15 years 12 months ago
Multi-block PCA method for image change detection
Principal component analyses (PCA) has been widely used in reduction of the dimensionality of datasets, classification, feature extraction, etc. It has been combined with many oth...
B. Qiu, Véronique Prinet, Edith Perrier, Ol...
DEXAW
2002
IEEE
151views Database» more  DEXAW 2002»
15 years 11 months ago
Domain-Independent eNegotiation Design: Prospects, Methods, and Challenges
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
Dirk Neumann, Christof Weinhardt