Sciweavers

12373 search results - page 2141 / 2475
» Semi-Logarithmic Number Systems
Sort
View
OPODIS
2003
15 years 8 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
Alper Sen, Vijay K. Garg
NAACL
1994
15 years 8 months ago
A Report of Recent Progress in Transformation-Based Error-Driven Learning
Most recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, ...
Eric Brill
4OR
2010
137views more  4OR 2010»
15 years 6 months ago
Extended formulations in combinatorial optimization
This survey is concerned with the size of perfect formulations for combinatorial optimization problems. By "perfect formulation", we mean a system of linear inequalities...
Michele Conforti, Gérard Cornuéjols,...
ADHOC
2007
144views more  ADHOC 2007»
15 years 6 months ago
Adaptive gossip protocols: Managing security and redundancy in dense ad hoc networks
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...
Mike Burmester, Tri Van Le, Alec Yasinsac
BMCBI
2010
153views more  BMCBI 2010»
15 years 6 months ago
PPLook: an automated data mining tool for protein-protein interaction
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...
Shao-Wu Zhang, Yao-Jun Li, Li Xia, Quan Pan
« Prev « First page 2141 / 2475 Last » Next »