Sciweavers

3731 search results - page 477 / 747
» Reduct Generation in Information Systems
Sort
View
AAAI
1990
15 years 8 months ago
Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech
Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...
Julia Hirschberg
ALIFE
2010
15 years 7 months ago
Living Technology: Exploiting Life's Principles in Technology
The concept of living technology--that is, technology that is based on the powerful core features of life--is explained and illustrated with examples from artificial life software,...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 7 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
TCOM
2010
72views more  TCOM 2010»
15 years 5 months ago
Iterative Multisymbol Noncoherent Reception of Coded CPFSK
—A multisymbol noncoherent receiver suitable for coded continuous-phase frequency-shift keying is developed and analyzed. Unlike coherently detected signals, the modulation index...
Matthew C. Valenti, Shi Cheng, Don J. Torrieri
UTP
2010
15 years 5 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel