Sciweavers

5510 search results - page 333 / 1102
» Mathematics
Sort
View
ISIPTA
2005
IEEE
140views Mathematics» more  ISIPTA 2005»
16 years 10 days ago
Conservative Rules for Predictive Inference with Incomplete Data
This paper addresses the following question: how should we update our beliefs after observing some incomplete data, in order to make credible predictions about new, and possibly i...
Marco Zaffalon
ITCC
2005
IEEE
16 years 10 days ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...
VISUALIZATION
2005
IEEE
16 years 10 days ago
Visualizing the tightening of knots
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...
Jason Cantarella, Michael Piatek, Eric Rawdon
HT
2005
ACM
16 years 10 days ago
A tactile web browser for the visually disabled
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...
Martin Rotard, Sven Knödler, Thomas Ertl
ISPD
2005
ACM
140views Hardware» more  ISPD 2005»
16 years 10 days ago
Are floorplan representations important in digital design?
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
Hayward H. Chan, Saurabh N. Adya, Igor L. Markov