Sciweavers

2853 search results - page 283 / 571
» A Design System based on Architectural Representations
Sort
View
TGIS
2002
175views more  TGIS 2002»
15 years 6 months ago
Using Ontologies for Integrated Geographic Information Systems
Today, there is a huge amount of data gathered about the Earth, not only from new spatial information systems, but also from new and more sophisticated data collection technologie...
Frederico T. Fonseca, Max J. Egenhofer, Peggy Agou...
JAR
2006
103views more  JAR 2006»
15 years 6 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
IPSN
2007
Springer
16 years 25 days ago
A group tour guide system with RFIDs and wireless sensor networks
This paper proposes a new application framework for group tour guiding services based on RFIDs and wireless sensor network. We consider a sensing field mixed with multiple indepe...
Po-Yu Chen, Wen Tseun Chen, Cheng Han Wu, Yu-Chee ...
WAIM
2001
Springer
15 years 11 months ago
Three-Tier Clustering: An Online Citation Clustering System
In this paper, we present an online citation entry clustering system based on three-tier clustering. The objective is to further process search results returned by bibliography dat...
Haifeng Jiang, Wenwu Lou, Wei Wang 0011
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch