Sciweavers

3116 search results - page 508 / 624
» Positively dependent types
Sort
View
JDCTA
2010
163views more  JDCTA 2010»
15 years 1 months ago
An Efficient Syntactic Analyzer Using Semantic Connection Units
We implement a Korean syntactic analyzer which decreases many ambiguities in syntax parse trees using segmentation and semantic connection units. We use dependency grammar for par...
Yong-uk Park, Hyuk-chul Kwon
SIAMADS
2010
105views more  SIAMADS 2010»
15 years 1 months ago
Nonlinear Patterns in Urban Crime: Hotspots, Bifurcations, and Suppression
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
Martin B. Short, Andrea L. Bertozzi, P. J. Brantin...
SIAMCO
2010
119views more  SIAMCO 2010»
15 years 1 months ago
Feedback Stabilization of a Fluid-Structure Model
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
Jean-Pierre Raymond
SIAMMAX
2010
116views more  SIAMMAX 2010»
15 years 1 months ago
Acquired Clustering Properties and Solution of Certain Saddle Point Systems
Many mathematical models involve flow equations characterized by nonconstant viscosity, and a Stokes type problem with variable viscosity coefficient arises. Appropriate block diag...
M. A. Olshanskii, V. Simoncini
TASLP
2010
128views more  TASLP 2010»
15 years 1 months ago
Three Dimensions of Pitched Instrument Onset Detection
In this paper, we suggest a novel group delay based method for the onset detection of pitched instruments. It is proposed to approach the problem of onset detection by examining th...
Andre Holzapfel, Yannis Stylianou, Ali Cenk Gedik,...