8496 search results - page 492 / 1700 » Problem Solving and Complex Systems |
204
click to vote
PIMRC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—The high peak-to-average-power ratio (PAR) of Orthogonal Frequency Division Multiplexing (OFDM) transmission systems significantly reduces the power efficiency or perf...
186
Voted
EPIA
2001
Springer
16 years 6 days ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
215
click to vote
SAC
1994
ACM
15 years 11 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
219
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
204
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— The paper describes a framework for solving the coverage problem for a class of non-convex domains. In [1] we have shown how a diffeomorphism can be used to transform a non-con...