Sciweavers

2364 search results - page 289 / 473
» An Engine for Computing Well-Founded Models
Sort
View
ASSETS
2007
ACM
15 years 9 months ago
Simulation to predict performance of assistive interfaces
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
Pradipta Biswas, Peter Robinson
GECCO
2006
Springer
174views Optimization» more  GECCO 2006»
15 years 8 months ago
Optimizing of NC tool paths for five-axis milling using evolutionary algorithms on wavelets
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...
Klaus Weinert, Andreas Zabel, Heinrich Müller...
160
Voted
AISB
1995
Springer
15 years 8 months ago
The Ant Colony Metaphor for Searching Continuous Design Spaces
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...
George Bilchev, Ian C. Parmee
HYBRID
2010
Springer
15 years 7 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 6 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh