Sciweavers

3387 search results - page 429 / 678
» Automating the Metamodeling Process
Sort
View
IBMRD
2006
58views more  IBMRD 2006»
15 years 6 months ago
Self-adapting numerical software (SANS) effort
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
Jack Dongarra, George Bosilca, Zizhong Chen, Victo...
IJCSA
2006
111views more  IJCSA 2006»
15 years 6 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
JCIT
2008
74views more  JCIT 2008»
15 years 6 months ago
SHAMAN Research and Implementation of an Electronic Medical Records System
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
Yerbol Nisanbayev, Il Seok Ko, Olga Yugay
JAIR
2006
106views more  JAIR 2006»
15 years 6 months ago
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
KBS
2008
110views more  KBS 2008»
15 years 6 months ago
Intensity-based image registration using multiple distributed agents
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
Roger J. Tait, Gerald Schaefer, Adrian A. Hopgood