Sciweavers

14403 search results - page 477 / 2881
» Dynamical Systems Trees
Sort
View
HICSS
2003
IEEE
142views Biometrics» more  HICSS 2003»
16 years 4 days ago
Blackout Mitigation Assessment in Power Transmission Systems
Electric power transmission systems are a key infrastructure and blackouts of these systems have major direct and indirect consequences on the economy and national security. Analy...
Benjamin A. Carreras, Vickie E. Lynch, David E. Ne...
ICRA
2006
IEEE
85views Robotics» more  ICRA 2006»
16 years 27 days ago
Design of Classifier to Automate the Evaluation of Protein Crystallization States
– This paper presents a method for designing classifier to automate an evaluation process of protein crystallization growth states. The classifier is designed by binary decision ...
Kanako Saitoh, Kuniaki Kawabata, Hajime Asama, Tak...
STACS
2001
Springer
15 years 11 months ago
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
Victor L. Selivanov
200
Voted
AISC
2006
Springer
15 years 10 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan
BIBE
2008
IEEE
101views Bioinformatics» more  BIBE 2008»
15 years 8 months ago
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference v
We propose the use of formal ontological inferencing, rather than cladistics, to reconstruct phylogeny trees and to analyze the evolutionary relationships between species. For this...
Arash Shaban-Nejad, Volker Haarslev