Sciweavers

18209 search results - page 245 / 3642
» Some Remarks on the Paper
Sort
View
149
Voted
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
16 years 1 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
MICAI
2009
Springer
16 years 1 months ago
Supervised Recognition of Age-Related Spanish Temporal Phrases
This paper reports research on temporal expressions shaped by a common temporal expression for a period of years modified by an adverb of time. From a Spanish corpus we found that ...
Sofía N. Galicia-Haro, Alexander F. Gelbukh
CDC
2008
IEEE
239views Control Systems» more  CDC 2008»
16 years 1 months ago
Construction of Lyapunov-Krasovskii functional for time-varying delay systems
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
Yassine Ariba, Frédéric Gouaisbaut
ICMCS
2008
IEEE
160views Multimedia» more  ICMCS 2008»
16 years 1 months ago
A study of image-based music composition
Visual and auditory forms have some noticeable associations that can inspire similar cognitive and aesthetical experiences. This paper presents a study on the possibilities of app...
Xiaoying Wu, Ze-Nian Li
ISORC
2008
IEEE
16 years 1 months ago
Push-Pull Interest Management for Virtual Worlds
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in ...
Rob Minson, Georgios K. Theodoropoulos