Sciweavers

528 search results - page 99 / 106
» Proposal for an Integrated Video Analysis Framework
Sort
View
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
14 years 15 days ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
HICSS
2007
IEEE
165views Biometrics» more  HICSS 2007»
13 years 10 months ago
A Study on Developing CRM Scorecard
As more firms embrace CRM as a core business strategy, it is getting more important to assess firms’ CRM readiness and performance for diagnosing, guiding, managing, and evaluat...
Hyung-Su Kim, Young-Gul Kim
APVIS
2008
13 years 10 months ago
Interactive Storyboard for Overall Time-Varying Data Visualization
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
Aidong Lu, Han-Wei Shen
CCE
2005
13 years 8 months ago
Selecting maximally informative genes
Microarray experiments are emerging as one of the main driving forces in modern biology. By allowing the simultaneous monitoring of the expression of the entire genome for a given...
Ioannis P. Androulakis
ICWE
2010
Springer
13 years 7 months ago
Association-Rules-Based Recommender System for Personalization in Adaptive Web-Based Applications
Personalization systems based upon users' surfing behavior analysis imply three phases: data collection, pattern discovery and recommendation. Due to the dimension of log file...
Daniel Mican, Nicolae Tomai