Sciweavers

998 search results - page 130 / 200
» From Feasible Proofs to Feasible Computations
Sort
View
AAAI
1998
13 years 11 months ago
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
Christopher Bailey-Kellogg, Feng Zhao
ICDCS
2010
IEEE
13 years 10 months ago
Design of Non-orthogonal Multi-channel Sensor Networks
—A critical issue in wireless sensor networks (WSNs) is represented by the network throughput. To meet the throughput requirement, researchers propose multi-channel design in 802...
Xing Xu, Ji Luo, Qian Zhang
CGF
2008
103views more  CGF 2008»
13 years 10 months ago
An Example-based Procedural System for Element Arrangement
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
Takashi Ijiri, Radomír Mech, Takeo Igarashi...
ALGORITHMICA
2006
163views more  ALGORITHMICA 2006»
13 years 10 months ago
Building Large Phylogenetic Trees on Coarse-Grained Parallel Machines
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
Thomas M. Keane, Andrew J. Page, Thomas J. Naughto...
IJON
2006
72views more  IJON 2006»
13 years 10 months ago
Extraction of a source signal whose kurtosis value lies in a specific range
In many applications extraction of source signals of interest from observed signals maybe is a more feasible approach than simultaneous separation of all the source signals, since...
Zhi-Lin Zhang, Zhang Yi