Results for:
"
Arne+Wilhelm+Kaurin+Tiselius
" in Documents
- Tradeo Issues in Local Search Guidance for SAT 2001
- Introduction Satisfiability (SAT) problems are capable of representing important real-world problems, like e.g. planning, scheduling and robotic movement, and e#cient encodings exist for many of these...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Tradeo Issues in Local Search Guidance for SAT 2001
- Introduction Satisfiability (SAT) problems are capable of representing important real-world problems, like e.g. planning, scheduling and robotic movement, and e#cient encodings exist for many of these...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- Managing Large Scale Computational Markets 1998
- General equilibrium theory has been proposed for resource allocation in computational markets. The basic procedure is that agents submit bids and that a resource (re)allocation is performed when a set...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- PICASSO A User Interface Management System for Real-Time Applications
- Picasso is a User Interface Management System supporting object-oriented definition of graphical user interfaces (GUIs) in a distributed computing environment. GUIs are defined using an interactive ed...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 22-01-08
- This document in subdirectoryRS/99/8/ Formal Verification of a Power C...
- Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Re...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Sparse Code Shrinkage Based On The Normal Inverse Gaussian Density Mod...
- In this paper we introduce the recent normal inverse Gaussian (NIG) probability density as a new model for sparsely coded data. The NIG density is a flexible, four-parameter density, which is highly s...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Sparse Code Shrinkage Based On The Normal Inverse Gaussian Density Mod...
- In this paper we introduce the recent normal inverse Gaussian (NIG) probability density as a new model for sparsely coded data. The NIG density is a flexible, four-parameter density, which is highly s...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 15-05-09
- Supervised by 2004
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09