Sciweavers

12257 search results - page 361 / 2452
» Analysis of Algorithms
Sort
View
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
15 years 9 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
SPIRE
2000
Springer
15 years 7 months ago
A Word Stemming Algorithm for the Spanish Language
This paper describes a word stemming algorithm for the Spanish Language. Experiments in document retrieval regarding English text suggest that word stemming based on morphological...
Asunción Honrado, Ruben Leon, Ruairi O'Donn...
ICVS
2009
Springer
15 years 10 months ago
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making
Traditionally computer vision and pattern recognition algorithms are evaluated by measuring differences between final interpretations and ground truth. These black-box evaluations ...
Richard Zanibbi, Dorothea Blostein, James R. Cordy
ISAAC
2000
Springer
178views Algorithms» more  ISAAC 2000»
15 years 7 months ago
Simple Algorithms for a Weighted Interval Selection Problem
Given a set of jobs, each consisting of a number of weighted intervals on the real line, and a number m of machines, we study the problem of selecting a maximum weight subset of th...
Thomas Erlebach, Frits C. R. Spieksma
DKE
2007
116views more  DKE 2007»
15 years 4 months ago
A concurrent rule scheduling algorithm for active rules
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich