Sciweavers

161 search results - page 5 / 33
» Design and Mathematical Analysis of Agent-Based Systems
Sort
View
ICDAR
2011
IEEE
13 years 12 months ago
HAMEX - A Handwritten and Audio Dataset of Mathematical Expressions
—In this paper, we present HAMEX, a new public dataset that contains mathematical expressions available in their on-line handwritten form and in their audio spoken form. We have ...
Solen Quiniou, Harold Mouchère, Sebasti&aac...
94
Voted
HASE
1999
IEEE
15 years 4 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
123
Voted
DAS
2008
Springer
15 years 2 months ago
MathBrush: A System for Doing Math on Pen-Based Devices
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
George Labahn, Edward Lank, Scott MacLean, Mirette...
97
Voted
SASO
2007
IEEE
15 years 6 months ago
Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
Steven Y. Ko, Indranil Gupta, Yookyung Jo
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 12 months ago
Mathematical Modeling of Competition in Sponsored Search Market
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
Jian Liu, Dah Ming Chiu