Sciweavers

1195 search results - page 167 / 239
» Modeling an Algebraic Stepper
Sort
View
EDBT
2006
ACM
112views Database» more  EDBT 2006»
16 years 6 months ago
Expressiveness and Performance of Full-Text Search Languages
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugas...
CISIS
2009
IEEE
16 years 27 days ago
Application of a Critical Chain Project Management Based Framework on Max-Plus Linear Systems
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
Hirotaka Takahashi, Hiroyuki Goto, Munenori Kasaha...
136
Voted
CDC
2008
IEEE
16 years 17 days ago
A Partial order approach to decentralized control
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
Parikshit Shah, Pablo A. Parrilo
CRV
2007
IEEE
139views Robotics» more  CRV 2007»
16 years 13 days ago
A Simple Operator for Very Precise Estimation of Ellipses
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
Jean-Nicolas Ouellet, Patrick Hébert
165
Voted
ICIW
2007
IEEE
16 years 12 days ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...