Sciweavers

9015 search results - page 1701 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
14 years 2 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
SRDS
1998
IEEE
14 years 2 months ago
Interactive Image Retrieval over the Internet
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...
Jozsef Vass, Jia Yao, Anupam Joshi, Kannappan Pala...
ICMCS
1994
IEEE
123views Multimedia» more  ICMCS 1994»
14 years 2 months ago
Casual Collaboration
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
Judith S. Donath
INCDM
2010
Springer
213views Data Mining» more  INCDM 2010»
14 years 2 months ago
Automated Vision-Based Diagnosis of Cassava Mosaic Disease
Abstract. Cassava Mosaic Disease (CMD) has been an increasing concern to all countries in sub-Saharan Africa that depend on cassava for both commercial and local consumption. Infor...
Jennifer R. Aduwo, Ernest Mwebaze, John A. Quinn
VISSYM
2007
14 years 19 days ago
Multi-Resolution Techniques for Visual Exploration of Large Time-Series Data
Time series are a data type of utmost importance in many domains such as business management and service monitoring. We address the problem of visualizing large time-related data ...
Ming C. Hao, Umeshwar Dayal, Daniel A. Keim, Tobia...
« Prev « First page 1701 / 1803 Last » Next »