128 search results - page 14 / 26 » Making Sense of Specifications: The Formalization of SET |
164
click to vote
IPSN
2009
Springer
16 years 23 days ago
2009
Springer
We consider the problem of monitoring spatial phenomena, such as road speeds on a highway, using wireless sensors with limited battery life. A central question is to decide where ...
266
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
151
click to vote
TKDE
2008
15 years 5 months ago
2008
Searching for words on a watchlist is one way in which large-scale surveillance of communication can be done, for example, in intelligence and counterterrorism settings. One obviou...
141
click to vote
CG
2010
Springer
15 years 4 months ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
284
click to vote
Publication
We introduce a class of learning problems where the agent is presented with a series of tasks. Intuitively, if there is relation among those tasks, then the information gained duri...