1355 search results - page 248 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
CIKM
2003
Springer
14 years 2 months ago
2003
Springer
Reverse Nearest Neighbor (RNN) queries are of particular interest in a wide range of applications such as decision support systems, profile based marketing, data streaming, docum...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
HT
1987
ACM
14 years 15 days ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...