Sciweavers

7526 search results - page 313 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
BIOSTEC
2008
112views Healthcare» more  BIOSTEC 2008»
15 years 8 months ago
FPGA-Based Computation of the Inductance of Coils Used for the Magnetic Stimulation of the Nervous System
In the last years the interest for magnetic stimulation of the human nervous tissue has increased considerably, because this technique has proved its utility and applicability bot...
Ionut Trestian, Octavian Cret, Laura Cret, Lucia V...
SE
2008
15 years 8 months ago
Monaco: A DSL Approach for Programming Automation Systems
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
Herbert Prähofer, Dominik Hurnaus, Roland Sch...
OOPSLA
2000
Springer
15 years 10 months ago
Finding refactorings via change metrics
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 months ago
Deduction, Strategies, and Rewriting
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
Steven Eker, Narciso Martí-Oliet, Jos&eacut...
IPM
2007
143views more  IPM 2007»
15 years 6 months ago
QCS: A system for querying, clustering and summarizing documents
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
Daniel M. Dunlavy, Dianne P. O'Leary, John M. Conr...