Sciweavers

1469 search results - page 256 / 294
» Discretization of a Continuous Curve
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
15 years 3 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
CORR
2004
Springer
195views Education» more  CORR 2004»
15 years 3 months ago
Detecting User Engagement in Everyday Conversations
This paper presents a novel application of speech emotion recognition: estimation of the level of conversational engagement between users of a voice communication system. We begin...
Chen Yu, Paul M. Aoki, Allison Woodruff
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 3 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CERA
2002
201views more  CERA 2002»
15 years 3 months ago
CAD-Based Shape Optimization Using a Meshfree Method
: A shape design sensitivity analysis and optimization procedure is proposed using a meshfree method. A CAD tool connection is established to facilitate the seamless integration of...
Iulian Grindeanu, Nam Ho Kim, Kung K. Choi, Jiun-S...
94
Voted
COMBINATORICS
2000
63views more  COMBINATORICS 2000»
15 years 3 months ago
A Ramsey Treatment of Symmetry
Given a space endowed with symmetry, we define ms(, r) to be the maximum of m such that for any r-coloring of there exists a monochromatic symmetric set of size at least m. We c...
Taras O. Banakh, O. V. Verbitsky, Ya. Vorobets