Sciweavers

460 search results - page 51 / 92
» Computational Analysis of Move Structures in Academic Abstra...
Sort
View
145
Voted
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
15 years 10 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen
140
Voted
ICTAC
2005
Springer
15 years 9 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
136
Voted
SIAMNUM
2011
110views more  SIAMNUM 2011»
14 years 10 months ago
A Posteriori Error Control for Discontinuous Galerkin Methods for Parabolic Problems
We derive energy-norm a posteriori error bounds for an Euler timestepping method combined with various spatial discontinuous Galerkin schemes for linear parabolic problems. For acc...
Emmanuil H. Georgoulis, Omar Lakkis, Juha M. Virta...
178
Voted
ICDE
2011
IEEE
281views Database» more  ICDE 2011»
14 years 7 months ago
Declarative analysis of noisy information networks
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
Walaa Eldin Moustafa, Galileo Namata, Amol Deshpan...
148
Voted
IWRIDL
2006
ACM
141views Education» more  IWRIDL 2006»
15 years 9 months ago
Shallow syntax analysis in Sanskrit guided by semantic nets constraints
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
Gérard P. Huet