11462 search results - page 1906 / 2293 » Developing Application-Centric Methods |
167
click to vote
GIS
2000
ACM
15 years 10 months ago
2000
ACM
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...
169
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
161
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
179
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The development of modern communication technologies fosters human networks (HUNETs)—an information dissemination platform comprised of human-carried wirelessenabled d...
179
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Vector instruction sets are receiving renewed interest because of their applicability to multimedia. Current multimedia instruction sets use short vectors with SIMD implementation...