Sciweavers

1071 search results - page 133 / 215
» Theories of Automatic Structures and Their Complexity
Sort
View
COMPGEOM
2009
ACM
14 years 2 months ago
Zigzag persistent homology and real-valued functions
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...
Gunnar Carlsson, Vin de Silva, Dmitriy Morozov
MEMOCODE
2007
IEEE
14 years 2 months ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
14 years 2 months ago
Habermasian Inquiring System: Toward a General Framework for Knowledge Management Research
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
Zining Guo, James Sheffield
ICAT
2006
IEEE
14 years 2 months ago
Fault Diagnosis System for Turbo-Generator Set Based on Fuzzy Neural Network
When a fault such as unbalance occurs in a turbo-generator set, sensors should be put on its bearing to detect vibration signals for extracting fault symptoms, but the relationshi...
Ping Yang, Qing-miao Wang
COMPGEOM
2004
ACM
14 years 1 months ago
An empirical comparison of techniques for updating Delaunay triangulations
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
Leonidas J. Guibas, Daniel Russel