Sciweavers

14165 search results - page 468 / 2833
» The generalized two-server problem
Sort
View
BCSHCI
2007
15 years 8 months ago
Mental health issues and pervasive computing
This poster describes work being undertaken in the use of pervasive computing for the treatment of mental health problems. The use of technology to help patients with psychologica...
David J. Haniff
ESANN
2007
15 years 8 months ago
Deploying SDP for machine learning
We discuss the use in machine learning of a general type of convex optimisation problem known as semi-definite programming (SDP) [1]. We intend to argue that SDP’s arise quite n...
Tijl De Bie
NIPS
2003
15 years 8 months ago
Linear Dependent Dimensionality Reduction
We formulate linear dimensionality reduction as a semi-parametric estimation problem, enabling us to study its asymptotic behavior. We generalize the problem beyond additive Gauss...
Nathan Srebro, Tommi Jaakkola
ATMOS
2009
105views Optimization» more  ATMOS 2009»
15 years 8 months ago
Scheduling Aircraft to Reduce Controller Workload
We address a problem in air traffic management: scheduling flights in order to minimize the maximum number of aircraft that simultaneously lie within a single air traffic control ...
Joondong Kim, Alexander Kroeller, Joseph S. B. Mit...
ECAI
2010
Springer
15 years 8 months ago
Verifying Properties of Infinite Sequences of Description Logic Actions
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
Franz Baader, Hongkai Liu, Anees ul Mehdi