Sciweavers

2721 search results - page 99 / 545
» An experimental analysis of Lemke-Howson algorithm
Sort
View
IEEECIT
2005
IEEE
15 years 3 months ago
Management and Retrieval of Web Services Based on Formal Concept Analysis
After introducing some basic concepts of Web services and the definition of their relationships, we formally define the problem of managing and retrieving of Web services. This pa...
Dunlu Peng, Sheng Huang, Xiaoling Wang, Aoying Zho...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 3 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
WWW
2005
ACM
15 years 10 months ago
Analysis of topic dynamics in web search
We report on a study of topic dynamics for pages visited by a sample of people using MSN Search. We examine the predictive accuracies of probabilistic models of topic transitions ...
Xuehua Shen, Susan T. Dumais, Eric Horvitz
ISBI
2007
IEEE
15 years 4 months ago
Shape Analysis Using Curvature-Based Descriptors and Profile Hidden Markov Models
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
DCC
2005
IEEE
15 years 3 months ago
JPEG2000 and Motion JPEG2000 Content Analysis Using Codestream Length Information
The widespread adoption of the JPEG2000 standard calls for the development of computationally efficient algorithms to analyze the content of imagery compressed using this standard...
Ali Tabesh, Ali Bilgin, Karthik Krishnan, Michael ...