Sciweavers

2956 search results - page 312 / 592
» Databases and Higher Types
Sort
View
BMCBI
2005
86views more  BMCBI 2005»
15 years 4 months ago
Confirmation of human protein interaction data by human expression data
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
Andreas Hahn, Jörg Rahnenführer, Priti T...
RAS
2008
80views more  RAS 2008»
15 years 4 months ago
Motion design and learning of autonomous robots based on primitives and heuristic cost-to-go
The task of trajectory design of autonomous vehicles is typically two-fold. First, it needs to take into account the intrinsic dynamics of the vehicle, which are sometimes termed ...
Keyong Li, Raffaello D'Andrea
PVLDB
2010
133views more  PVLDB 2010»
15 years 3 months ago
RoadTrack: Scaling Location Updates for Mobile Clients on Road Networks with Query Awareness
Mobile commerce and location based services (LBS) are some of the fastest growing IT industries in the last five years. Location update of mobile clients is a fundamental capabil...
Péter Pesti, Ling Liu, Bhuvan Bamba, Arun I...
SP
2010
IEEE
190views Security Privacy» more  SP 2010»
15 years 2 months ago
Noninterference through Secure Multi-execution
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
Dominique Devriese, Frank Piessens
ICIP
2007
IEEE
16 years 6 months ago
Geometric Calibration of Third-Generation Computed Tomography Scanners from Scans of Unknown Objects using Complementary Rays
To achieve good image quality for computed tomography scans, it is important to accurately know the geometrical relationship between the x-ray source, detector, and axis of rotati...
Kevin M. Holt