Sciweavers

1738 search results - page 33 / 348
» An algorithmic framework for network reconstruction
Sort
View
TPHOL
2000
IEEE
15 years 4 months ago
Proof Terms for Simply Typed Higher Order Logic
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
Stefan Berghofer, Tobias Nipkow
EVOW
2005
Springer
15 years 5 months ago
A Performance Evaluation Framework for Nature Inspired Routing Algorithms
Performance evaluation of routing protocols is an important area of research that deals with the analysis and investigation of such protocols. A performance evaluation framework un...
Horst Wedde, Muddassar Farooq
87
Voted
SEMWEB
2009
Springer
15 years 6 months ago
Analysis of a Real Online Social Network Using Semantic Web Frameworks
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
Guillaume Erétéo, Michel Buffa, Fabi...
ISPDC
2006
IEEE
15 years 5 months ago
Optimistically Terminating Consensus: All Asynchronous Consensus Protocols in One Framework
Optimistically Terminating Consensus (OTC) is a variant of Consensus that decides if all correct processes propose the same value. It is surprisingly easy to implement: processes ...
Piotr Zielinski
CVPR
2004
IEEE
16 years 1 months ago
Visual Tracking Using Learned Linear Subspaces
This paper presents a simple but robust visual tracking algorithm based on representing the appearances of objects using affine warps of learned linear subspaces of the image spac...
Jeffrey Ho, Kuang-Chih Lee, Ming-Hsuan Yang, David...