6607 search results - page 864 / 1322 » Making TeX Work |
163
click to vote
INFOVIS
2005
IEEE
16 years 15 days ago
2005
IEEE
The discrete nature of categorical data makes it a particular challenge for visualization. Methods that work very well for continuous data are often hardly usable with categorical...
180
click to vote
RTAS
2005
IEEE
16 years 15 days ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
193
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
196
click to vote
HT
2005
ACM
16 years 14 days ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
186
click to vote
ISPD
2005
ACM
16 years 14 days ago
2005
ACM
In the nanometer VLSI technology, the variation effects like manufacturing variation, power supply noise, temperature etc. become very significant. As one of the most vital nets...