5630 search results - page 1107 / 1126 » Computability in Specification |
146
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
136
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...
136
click to vote
TROB
2008
15 years 3 months ago
2008
In formation-maintenance (formation control) tasks, robots maintain their relative position with respect to their peers, according to a desired geometric shape. Previous work has e...
125
click to vote
CGF
2005
15 years 3 months ago
2005
Interactive control of a physically simulated character is a challenging problem, due both to the complexity of controlling multiple degrees of freedom with lower dimensional inpu...
142
click to vote
TWC
2008
15 years 3 months ago
2008
Abstract--Orthogonal random beamforming (ORB) constitutes a mean to exploit spatial multiplexing and multi-user diversity (MUD) gains in multi-antenna broadcast channels. To do so,...