Sciweavers

4781 search results - page 397 / 957
» Complexity at large
Sort
View
146
Voted
GRAPHICSINTERFACE
2008
15 years 6 months ago
Evaluation of techniques for visualizing mathematical expression recognition results
We present an experimental study that evaluates four different techniques for visualizing the machine interpretation of handwritten mathematics. Typeset in Place puts a printed fo...
Joseph J. LaViola Jr., Anamary Leal, Timothy S. Mi...
139
Voted
WICON
2008
15 years 6 months ago
Constructing accurate, space-efficient, wireless coverage maps for vehicular contexts
Wireless connectivity for vehicles is a fast-growing market, with a plethora of different network technologies already in use. Surveys of the numbers of IEEE 802.11b/g access poin...
David N. Cottingham, Robert K. Harle, Andy Hopper
AAAI
2006
15 years 6 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
ACID
2006
236views Algorithms» more  ACID 2006»
15 years 6 months ago
Kernelization for Convex Recoloring
The Convex Recoloring (CR) problem measures how far a tree of characters differs from exhibiting a so-called "perfect phylogeny". For input consisting of a vertex-colored...
Hans L. Bodlaender, Michael R. Fellows, Michael A....
CDES
2006
99views Hardware» more  CDES 2006»
15 years 6 months ago
Teraflop Computing for Nanoscience
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...
Yang Wang 0008, G. M. Stocks, Aurelian Rusanu, D. ...