7991 search results - page 1367 / 1599 » Using More Reasoning to Improve |
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The expending development of wireless communication requires strong demands for components with improved capabilities. RF MEMS devices offer a variable alternative to conventional...
144
click to vote
DISOPT
2007
15 years 6 months ago
2007
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
161
click to vote
JMLR
2006
15 years 6 months ago
2006
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
179
Voted
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...