Sciweavers

16843 search results - page 2 / 3369
» On Generalized Authorization Problems
Sort
View
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
13 years 10 months ago
On the linear-exponential filtering problem for general Gaussian processes
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...
Marina L. Kleptsyna, Alain Le Breton, Michel Viot
DISOPT
2007
93views more  DISOPT 2007»
13 years 6 months ago
A feasibility pump heuristic for general mixed-integer problems
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...
Livio Bertacco, Matteo Fischetti, Andrea Lodi
HPDC
1998
IEEE
13 years 10 months ago
Authorization for Metacomputing Applications
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
G. Gheorghiu, Tatyana Ryutov, B. Clifford Neuman
JAR
2007
80views more  JAR 2007»
13 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
ICIDS
2009
Springer
13 years 11 months ago
Authoring Issues beyond Tools
Authoring is still considered a bottleneck in successful Interactive Storytelling and Drama. The claim for intuitive authoring tools is high, especially for tools that allow storyt...
Ulrike Spierling, Nicolas Szilas