Sciweavers

3573 search results - page 459 / 715
» Reasoning about Codata
Sort
View
ISCA
2008
IEEE
150views Hardware» more  ISCA 2008»
16 years 28 days ago
Fetch-Criticality Reduction through Control Independence
Architectures that exploit control independence (CI) promise to remove in-order fetch bottlenecks, like branch mispredicts, instruction-cache misses and fetch unit stalls, from th...
Mayank Agarwal, Nitin Navale, Kshitiz Malik, Matth...
ISM
2008
IEEE
101views Multimedia» more  ISM 2008»
16 years 28 days ago
Photo Context as a Bag of Words
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
Windson Viana, Samira Hammiche, Marlène Vil...
MUE
2008
IEEE
137views Multimedia» more  MUE 2008»
16 years 28 days ago
Genetic Algorithm for Shortest Driving Time in Intelligent Transportation Systems
The route guidance system, which provides driving advice based on traffic information about an origin and a destination, has become very popular along with the advancement of hand...
Chu-Hsing Lin, Jui-Ling Yu, Jung-Chun Liu, Chia-Je...
SASO
2008
IEEE
16 years 28 days ago
Aspects of Distance Sensitive Design of Wireless Sensor Networks
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
Vinod Kulathumani, Anish Arora
SSDBM
2008
IEEE
90views Database» more  SSDBM 2008»
16 years 28 days ago
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
Paea LePendu, Dejing Dou, Gwen A. Frishkoff, Jiawe...