Sciweavers

1368 search results - page 185 / 274
» Personality-Based Practical Reasoning
Sort
View
AVSS
2005
IEEE
15 years 12 months ago
Performance evaluation of event detection solutions: the CREDS experience
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...
Francesco Ziliani, Sergio A. Velastin, Fatih Porik...
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
15 years 12 months ago
Minimal Marker Sets to Discriminate Among Seedlines
Raising seeds for biological experiments is prone to error; a careful experimenter will test in the lab to verify that plants are of the intended strain. Choosing a minimal set of...
Thomas C. Hudson, Ann E. Stapleton, Amy M. Curley
DATE
2005
IEEE
106views Hardware» more  DATE 2005»
15 years 12 months ago
SAT-Based Complete Don't-Care Computation for Network Optimization
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
Alan Mishchenko, Robert K. Brayton
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
15 years 12 months ago
Multiplication over Time to Facilitate Peer-to-Peer Barter Relationships
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...
Kenji Saito, Eiichi Morino, Jun Murai
FOCS
2005
IEEE
15 years 12 months ago
Towards a Final Analysis of Pairing Heaps
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
Seth Pettie