738 search results - page 137 / 148 » Object Orientation and Formal Techniques |
100
click to vote
WSC
2007
15 years 1 months ago
2007
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
ASPDAC
2008
ACM
15 years 24 days ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
ECSA
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
NIPS
2001
15 years 5 days ago
2001
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...
AAAI
1994
15 years 4 days ago
1994
1 We have developed an approach to acquire complicated user optimization criteria and use them to guide iterative solution improvement. The eectiveness of the approach was tested ...