Sciweavers

1368 search results - page 185 / 274
» Personality-Based Practical Reasoning
Sort
View
AVSS
2005
IEEE
15 years 8 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 8 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 8 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 8 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 8 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