Sciweavers

1730 search results - page 127 / 346
» Algebra and Computation
Sort
View
108
Voted
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 7 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
AIED
2007
Springer
15 years 7 months ago
Benefits of Handwritten Input for Students Learning Algebra Equation Solving
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
109
Voted
BTW
2007
Springer
142views Database» more  BTW 2007»
15 years 7 months ago
Algebraic Query Optimization for Distributed Top-k Queries
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
Thomas Neumann, Sebastian Michel
96
Voted
CALCO
2007
Springer
95views Mathematics» more  CALCO 2007»
15 years 7 months ago
Higher Dimensional Trees, Algebraically
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
Neil Ghani, Alexander Kurz
AIPR
2006
IEEE
15 years 6 months ago
Data Fusion, De-noising, and Filtering to Produce Cloud-Free High Quality Temporal Composites Employing Parallel Temporal Map Al
Remotely sensed images from satellite sensors such as MODIS Aqua and Terra provide high temporal resolution and wide area coverage. Unfortunately, these images frequently include ...
Bijay Shrestha, Charles G. O'Hara, Preeti Mali