Sciweavers

1190 search results - page 11 / 238
» The Continuing Quest for Abstraction
Sort
View
DMTCS
2010
416views Mathematics» more  DMTCS 2010»
13 years 7 months ago
Continued fraction expansions for q-tangent and q-cotangent functions
Abstract. For 3 different versions of q-tangent resp. q-cotangent functions, we compute the continued fraction expansion explicitly, by guessing the relative quantities and proving...
Helmut Prodinger
WSC
2000
13 years 11 months ago
Using simulation and critical points to define states in continuous search spaces
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
Marc S. Atkin, Paul R. Cohen
CLEIEJ
2006
120views more  CLEIEJ 2006»
13 years 10 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto
TIT
2008
89views more  TIT 2008»
13 years 9 months ago
Joint Fixed-Rate Universal Lossy Coding and Identification of Continuous-Alphabet Memoryless Sources
Abstract--The problem of joint universal source coding and density estimation is considered in the setting of fixed-rate lossy coding of continuous-alphabet memoryless sources. For...
Maxim Raginsky
HYBRID
2005
Springer
14 years 3 months ago
Observability of Switched Linear Systems in Continuous Time
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
Mohamed Babaali, George J. Pappas