Sciweavers

586 search results - page 91 / 118
» Adding Structure to Unstructured Data
Sort
View
ICAT
2006
IEEE
14 years 1 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
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 1 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
HICSS
1999
IEEE
98views Biometrics» more  HICSS 1999»
14 years 4 days ago
Retrieval of Volatile Database Output through Hypermedia Applications
This paper reports on research on the generation of hypermedia (Web) applications for querying multimedia databases. In [5] we have proposed a heuristic algorithm for generating n...
Geert-Jan Houben, Paul De Bra
DSS
2006
170views more  DSS 2006»
13 years 7 months ago
Adoption of internet banking: An empirical study in Hong Kong
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...
T. C. Edwin Cheng, David Y. C. Lam, Andy C. L. Yeu...
ICFP
2012
ACM
11 years 10 months ago
Transporting functions across ornaments
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
Pierre-Évariste Dagand, Conor McBride