Sciweavers

4397 search results - page 116 / 880
» Relational Algebra Operations
Sort
View
110
Voted
CDC
2008
IEEE
123views Control Systems» more  CDC 2008»
15 years 8 months ago
Fast state estimation in linear time-varying systems: An algebraic approach
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
Yang Tian, Thierry Floquet, Wilfrid Perruquetti
PG
2007
IEEE
15 years 8 months ago
A Subdivision Arrangement Algorithm for Semi-Algebraic Curves: An Overview
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
Julien Wintz, Bernard Mourrain
FASE
2000
Springer
15 years 6 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
ENTCS
2002
108views more  ENTCS 2002»
15 years 2 months ago
Rewriting in the partial algebra of typed terms modulo AC
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
Thomas Colcombet
ISM
2006
IEEE
86views Multimedia» more  ISM 2006»
15 years 8 months ago
OreDesk: A Tool for Retrieving Data History Based on User Operations
During day-to-day activities, a user refers to various data items on a PC, such as documents, images, and audio clips. However, when the number of items in the history increases, ...
Ryo Ohsawa, Kazunori Takashio, Hideyuki Tokuda