Sciweavers

1738 search results - page 33 / 348
» An algorithmic framework for network reconstruction
Sort
View
TPHOL
2000
IEEE
15 years 10 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 11 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
SEMWEB
2009
Springer
16 years 17 hour 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...
174
Voted
ISPDC
2006
IEEE
15 years 11 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 7 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...