Sciweavers

7112 search results - page 451 / 1423
» Power in normative systems
Sort
View
ECLIPSE
2006
ACM
15 years 10 months ago
A toolsuite for the verification of real-time systems in Eclipse
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
Lucía Cavatorta, Guido de Caso, André...
188
Voted
RIAO
2004
15 years 8 months ago
Mining Textual Data through Term Variant Clustering : the TermWatch system
We present a system for mapping the structure of research topics in a corpus. TermWatch portrays the "aboutness" of a corpus of scientific and technical publications by ...
Fidelia Ibekwe-Sanjuan, Eric SanJuan
181
Voted
WSCG
2003
223views more  WSCG 2003»
15 years 8 months ago
Optimizing Parameters of a Motion Detection System by Means of a Genetic Algorithm
Visual surveillance and monitoring have aroused interest in the computer video community for many years. The main task of these applications is to identify (and track) moving targ...
Alessandro Bevilacqua
ANLP
1992
100views more  ANLP 1992»
15 years 8 months ago
An Approach To Multilevel Semantics For Applied Systems
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
Alberto Lavelli, Bernardo Magnini, Carlo Strappara...
WCE
2007
15 years 8 months ago
Motor Management and Energy Saving by Integration of Motor Drive system
— In this paper a new-generation integral motor-drive has been demonstrated. It proposes a compact unit built to operate in arduous industrial environments with optimized power c...
M. Ektesabi, H. Felic