Sciweavers

1141 search results - page 130 / 229
» Analyzing Electroencephalograms Using Cloud Computing Techni...
Sort
View
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 8 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
CIARP
2007
Springer
15 years 8 months ago
An Analysis of Automatic Gender Classification
Different researches suggest that inner facial features are not the only discriminative features for tasks such as person identification or gender classification. Indeed, they have...
Modesto Castrillón Santana, Quoc C. Vuong
VISSYM
2003
15 years 5 months ago
Feature Flow Fields
Feature tracking algorithms for instationary vector fields are usually based on a correspondence analysis of the features at different time steps. This paper introduces a method ...
Holger Theisel, Hans-Peter Seidel
IPL
2008
131views more  IPL 2008»
15 years 4 months ago
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
J. Francisco Chicano, Enrique Alba
JSAT
2008
80views more  JSAT 2008»
15 years 4 months ago
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis
We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based o...
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Art...