Sciweavers

3059 search results - page 322 / 612
» Information modeling for single sourcing
Sort
View
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
15 years 11 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...
167
Voted
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
CISS
2010
IEEE
14 years 10 months ago
Fast robust reconstruction of large-scale environments
—The approach presented in this paper tackles the active research problem of the fast automatic modeling of large-scale environments from videos with millions of frames and colle...
Jan-Michael Frahm, Marc Pollefeys, Svetlana Lazebn...
AOSD
2006
ACM
16 years 23 days ago
Presenting crosscutting structure with active models
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
Wesley Coelho, Gail C. Murphy
MM
2004
ACM
212views Multimedia» more  MM 2004»
16 years 6 days ago
Nonparametric motion model
Motion information is a powerful cue for visual perception. In the context of video indexing and retrieval, motion content serves as a useful source for compact video representati...
Ling-Yu Duan, Min Xu, Qi Tian, Changsheng Xu