Sciweavers

2366 search results - page 369 / 474
» Mapping time
Sort
View
FPGA
2004
ACM
137views FPGA» more  FPGA 2004»
15 years 3 months ago
Making visible the thermal behaviour of embedded microprocessors on FPGAs: a progress report
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
Sergio López-Buedo, Eduardo I. Boemo
IBERAMIA
2004
Springer
15 years 3 months ago
Mobile Robotic Supported Collaborative Learning (MRSCL)
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
Rubén Mitnik, Miguel Nussbaum, Alvaro Soto
ICCS
2004
Springer
15 years 3 months ago
An Incremental Editor for Dynamic Hierarchical Drawing of Trees
We present an incremental tree editor based on algorithms for manipulating shape functions. The tree layout is hierarchical, left-to-right. Nodes of variable size and shape are sup...
David Workman, Margaret Bernard, Steven Pothoven
ICCS
2004
Springer
15 years 3 months ago
A Cartesian Closed Category of Approximable Concept Structures
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
Pascal Hitzler, Guo-Qiang Zhang
MDM
2004
Springer
158views Communications» more  MDM 2004»
15 years 3 months ago
Semantic Location Modeling for Location Navigation in Mobile Environment
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
Haibo Hu, Dik Lun Lee