Sciweavers

967 search results - page 79 / 194
» Cycle spaces in topological spaces
Sort
View
BIOCOMP
2009
14 years 7 days ago
Analysis of Long Branch Extraction
Long branch attraction is a problem that afflicts phylogenetic methods and a procedure to detect a data set suffering from this problem is the long branch extraction method[1]. Thi...
Timothy O'Connor, Kenneth Sundberg, Hyrum Carroll,...
ENTCS
2008
83views more  ENTCS 2008»
13 years 11 months ago
Elastic Flow in an Application Specific Network-on-Chip
A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network mu...
Daniel Gebhardt, Kenneth S. Stevens
TROB
2008
159views more  TROB 2008»
13 years 11 months ago
Distributed Connectivity Control of Mobile Networks
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...
Michael M. Zavlanos, George J. Pappas
APAL
2010
141views more  APAL 2010»
13 years 11 months ago
Locatedness and overt sublocales
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
Bas Spitters
ESA
2009
Springer
151views Algorithms» more  ESA 2009»
14 years 5 months ago
Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signiï¬...
Rudolf Fleischer, Xi Wu, Liwei Yuan