360 search results - page 59 / 72 » Constraint Checking with Partial Information |
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
A multimedia system utilizes a set of correlated media streams each of which partially help in achieving the system goal. However, since not all of the streams always contribute t...
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
COLT
1992
Springer
14 years 24 days ago
1992
Springer
Machine learning of limit programs (i.e., programs allowed finitely many mind changes about their legitimate outputs) for computable functions is studied. Learning of iterated lim...