Sciweavers

3570 search results - page 338 / 714
» A User Model for Information Erasure
Sort
View
169
Voted
KDD
2006
ACM
127views Data Mining» more  KDD 2006»
16 years 7 months ago
Recommendation method for extending subscription periods
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...
Tomoharu Iwata, Kazumi Saito, Takeshi Yamada
CHI
2007
ACM
16 years 7 months ago
Toolkit support for developing and deploying sensor-based statistical models of human situations
Sensor-based statistical models promise to support a variety of advances in human-computer interaction, but building applications that use them is currently difficult and potentia...
James Fogarty, Scott E. Hudson
ISCIS
2004
Springer
16 years 3 days ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
SPIN
2004
Springer
16 years 3 days ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
189
Voted
ENVSOFT
2002
129views more  ENVSOFT 2002»
15 years 6 months ago
Linking GIS and water resources management models: an object-oriented method
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
Daene C. McKinney, Ximing Cai