7121 search results - page 1136 / 1425 » Functions as Session-Typed Processes |
147
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
145
click to vote
AAAI
2010
15 years 6 months ago
2010
Partially-observable Markov decision processes (POMDPs) provide a powerful model for sequential decision-making problems with partially-observed state and are known to have (appro...
141
click to vote
AAAI
2010
15 years 6 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
136
Voted
DAGSTUHL
2010
15 years 6 months ago
2010
We present a method for hierarchical data approximation using curved quadratic simplicial elements for domain decomposition. Scientific data defined over two- or three-dimensional ...
174
click to vote
CIDR
2007
15 years 6 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...