3256 search results - page 539 / 652 » Applications of Formal Methods to System Design and Verifica... |
COLING
2000
14 years 11 months ago
2000
Automatic transliteration problem is to transcribe foreign words in one's own alphabet. Machine generated transliteration can be useful in various applications such as indexi...
ER
2009
Springer
14 years 7 months ago
2009
Springer
Abstract Currently, the development of the visual design of Web Information Systems is mainly based on developers' experiences. Late considerations of graphical issues during ...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
MVA
2007
14 years 9 months ago
2007
Tracking moving obstacles from a moving platform is a useful skill for the coming generation of mobile robot. The methods used in existing moving objects tracking that operated fr...
JOT
2008
14 years 10 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...