Sciweavers

7921 search results - page 1041 / 1585
» Process Modeling in Web Applications
Sort
View
BELL
2000
107views more  BELL 2000»
15 years 3 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
JIS
2010
125views more  JIS 2010»
15 years 2 months ago
Representing and sharing folksonomies with semantics
Websites that provide content creation and sharing features have become quite popular recently. These sites allow users to categorize and browse content using ‘tags’ or free-t...
Hak Lae Kim, Stefan Decker, John G. Breslin
IALP
2010
14 years 10 months ago
Multiple Factors-Based Opinion Retrieval and Coarse-to-Fine Sentiment Classification
With more and more reviews on the web, browsing through a mass of the related reviews becomes a heavy work. How to effectively analyzing and organizing these reviews attracts more...
Shu Zhang, Wen-Jie Jia, Yingju Xia, Yao Meng, Hao ...
ACMACE
2007
ACM
15 years 7 months ago
Interactive AR bowling system by vision-based tracking
This paper presents an interactive bowling system using vison-based tracking for AR. With the bowling system, a user can enjoy the bowling game by rolling a real ball down a bowli...
Yuko Uematsu, Hideo Saito
WWW
2010
ACM
15 years 10 months ago
Exploring searcher interactions for distinguishing types of commercial intent
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
Qi Guo, Eugene Agichtein
« Prev « First page 1041 / 1585 Last » Next »