Sciweavers

1147 search results - page 147 / 230
» Statistical Timing Analysis Using Bounds
Sort
View
BIOINFORMATICS
2011
13 years 18 days ago
RINQ: Reference-based Indexing for Network Queries
We consider the problem of similarity queries in biological network databases. Given a database of networks, similarity query returns all the database networks whose similarity (i...
Günhan Gülsoy, Tamer Kahveci
FORTE
2007
13 years 10 months ago
The DHCP Failover Protocol: A Formal Perspective
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...
ICIAR
2004
Springer
14 years 2 months ago
Learning an Information Theoretic Transform for Object Detection
We present an information theoretic approach for learning a linear dimension reduction transform for object classification. The theoretic guidance of the approach is that the trans...
Jianzhong Fang, Guoping Qiu
IAT
2009
IEEE
14 years 3 months ago
An Intelligent Agent That Autonomously Learns How to Translate
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...
Marco Turchi, Tijl De Bie, Nello Cristianini
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
14 years 1 months ago
Evaluation of User Search in a Web-Database
The number of Web-databases has exploded during the last years. In order to justify the development of new information resources, it is essential to know if the use of existing re...
Joan C. Nordbotten, Svein Nordbotten