6355 search results - page 1088 / 1271 » From Logic to Games |
187
click to vote
SSDBM
2005
IEEE
16 years 4 days ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...
151
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
154
click to vote
WONS
2005
IEEE
16 years 3 days ago
2005
IEEE
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
155
click to vote
ACMMSP
2005
ACM
16 years 3 days ago
2005
ACM
Combining ideas from several previous proposals, such as Active Pages, DIVA, and ULMT, we present the Memory Arithmetic Unit and Interface (MAUI) architecture. Because the “inte...
167
click to vote
HT
2005
ACM
16 years 3 days ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...