Sciweavers

2131 search results - page 325 / 427
» Stochastic Process Creation
Sort
View
218
Voted
ISVC
2007
Springer
15 years 8 months ago
Haptic Exploration of Mathematical Knots
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
Hui Zhang 0006, Sidharth Thakur, Andrew J. Hanson
155
Voted
CANDC
2011
ACM
14 years 2 months ago
Creative gadget design in fictions: generalized planning in analogical spaces
Science-fiction and fantasy stories often contain objects never envisioned previously. Inventing gadgets like lightsabers or mythical creatures like griffins is a creative task. T...
Boyang Li, Mark O. Riedl
155
Voted
ICDAR
2011
IEEE
14 years 2 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...
153
Voted
STACS
2012
Springer
13 years 10 months ago
Stabilization of Branching Queueing Networks
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...
Tomás Brázdil, Stefan Kiefer
147
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar