Sciweavers

5550 search results - page 858 / 1110
» Different Approaches to Proof Systems
Sort
View
ICWS
2004
IEEE
15 years 8 months ago
WSIP - Web Service SIP Endpoint for Converged Multimedia/Multimodal Communication over IP
We present an approach for converged communication services over IP, based on the concept of WSIP (Web Service SIP). In our approach, each WSIP node is both a SIP endpoint that co...
Feng Liu, Wu Chou, Li Li, J. Jenny Li
197
Voted
IJDE
2007
123views more  IJDE 2007»
15 years 6 months ago
Identifying Authorship by Byte-Level N-Grams: The Source Code Author Profile (SCAP) Method
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
Georgia Frantzeskou, Efstathios Stamatatos, Stefan...
TPDS
2010
155views more  TPDS 2010»
15 years 5 months ago
Cooperative Caching in Wireless P2P Networks: Design, Implementation, and Evaluation
—Some recent studies have shown that cooperative cache can improve the system performance in wireless P2P networks such as ad hoc networks and mesh networks. However, all these s...
Jing Zhao, Ping Zhang, Guohong Cao, Chita R. Das
BMCBI
2011
14 years 10 months ago
Faster Smith-Waterman database searches with inter-sequence SIMD parallelisation
Background: The Smith-Waterman algorithm for local sequence alignment is more sensitive than heuristic methods for database searching, but also more time-consuming. The fastest ap...
Torbjørn Rognes
189
Voted
CVPR
1997
IEEE
16 years 8 months ago
Recursive Structure and Motion from Image Sequences using Shape and Depth Spaces
In this paper a novel recursive method for estimating structure and motion from image sequences is presented. The novelty lies in the fact that the output of the algorithm is inde...
Rikard Berthilsson, Anders Heyden, Gunnar Sparr