2282 search results - page 125 / 457 » Active property checking |
110
click to vote
PERVASIVE
2006
Springer
15 years 4 months ago
2006
Springer
We are developing a personal activity recognition system that is practical, reliable, and can be incorporated into a variety of health-care related applications ranging from person...
130
click to vote
IJCAI
2007
15 years 5 months ago
2007
An “active learning system” will sequentially decide which unlabeled instance to label, with the goal of efficiently gathering the information necessary to produce a good cla...
113
click to vote
JMLR
2006
15 years 4 months ago
2006
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
137
click to vote
TSP
2008
15 years 4 months ago
2008
Decentralized activation in wireless sensor networks is investigated for energy-efficient monitoring using the theory of global games. Given a large number of sensors which can ope...
129
click to vote
ENTCS
2002
15 years 4 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...