Sciweavers

14190 search results - page 372 / 2838
» Abstractions for hybrid systems
Sort
View
155
Voted
CIE
2007
Springer
15 years 11 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins
198
Voted
TREC
2000
15 years 8 months ago
The Thisl SDR System at TREC-9
This paper describes our participation in the TREC-9 Spoken Document Retrieval (SDR) track. The THISL SDR system consists of a realtime version of a hybrid connectionist/HMM large...
Steve Renals, Dave Abberley
FPL
2005
Springer
73views Hardware» more  FPL 2005»
16 years 12 days ago
Defect Tolerance in Multiple-FPGA Systems
SRAM-based FPGAs have an inherent capacity for defect tolerance. We propose a simple scheme that exploits this potential in multiple-FPGA systems. The symmetry of the system is ex...
Zohair Hyder, John Wawrzynek
APNOMS
2006
Springer
15 years 10 months ago
GISness System for Fast TSP Solving and Supporting Decision Making
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
Iwona Pozniak-Koszalka, Ireneusz Kulaga, Leszek Ko...
175
Voted
ISCAS
2003
IEEE
99views Hardware» more  ISCAS 2003»
16 years 4 days ago
Time-delay modelling for multi-layer power systems
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
Ian A. Hiskens