Sciweavers

1297 search results - page 43 / 260
» Large Model Visualization: Techniques and Applications
Sort
View
MJ
2007
87views more  MJ 2007»
14 years 11 months ago
Using SAT-based techniques in power estimation
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
Assim Sagahyroon, Fadi A. Aloul
FASE
2008
Springer
15 years 1 months ago
Consistent Integration of Models Based on Views of Visual Languages
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrik...
IPPS
2006
IEEE
15 years 5 months ago
A framework to develop symbolic performance models of parallel applications
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
Sadaf R. Alam, Jeffrey S. Vetter
ISMAR
2007
IEEE
15 years 6 months ago
Visualizing Occluded Physical Objects in Unfamiliar Outdoor Augmented Reality Environments
This paper describes techniques to allow both the visualization of hidden objects, and removal of real objects, for a mobile augmented reality user. A gesture based technique is a...
Ben Avery, Wayne Piekarski, Bruce H. Thomas
ICIP
2008
IEEE
16 years 1 months ago
Feature-based object modelling for visual surveillance
This paper introduces a new feature-based technique for implicitly modelling objects in visual surveillance. Previous work has generally employed background subtraction and other ...
Gary Baugh, Anil C. Kokaram