Sciweavers

327 search results - page 54 / 66
» A Framework for Institutions Governing Institutions
Sort
View
99
Voted
CLEIEJ
2006
169views more  CLEIEJ 2006»
15 years 14 days ago
Tailoring RUP for LMS Selection: A Case Study
Learning Management System (LMS) development has become a high priority project for educational institutions and organizations, as it provides the virtual environment for online e...
Luis Eduardo Mendoza, María A. Pérez...
97
Voted
JLP
2006
81views more  JLP 2006»
15 years 11 days ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
95
Voted
IJCV
2007
145views more  IJCV 2007»
15 years 10 days ago
Building Outline Extraction from Digital Elevation Models Using Marked Point Processes
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...
Mathias Ortner, Xavier Descombes, Josiane Zerubia
96
Voted
AEI
2005
102views more  AEI 2005»
15 years 10 days ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
102
Voted
VLSISP
2008
134views more  VLSISP 2008»
15 years 9 days ago
Calibration of Abstract Performance Models for System-Level Design Space Exploration
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
Andy D. Pimentel, Mark Thompson, Simon Polstra, Ca...