Sciweavers

528 search results - page 99 / 106
» Proposal for an Integrated Video Analysis Framework
Sort
View
95
Voted
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 3 months 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»
15 years 1 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
100
Voted
APVIS
2008
15 years 1 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
80
Voted
CCE
2005
14 years 11 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
14 years 10 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