5180 search results - page 226 / 1036 » Concurrency, Time, and Constraints |
182
click to vote
IANDC
2007
15 years 6 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
203
Voted
ANOR
2011
15 years 1 months ago
2011
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...
143
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
The need for video summarization originates primarily from a viewing time or a bit budget constraint. A shorter version of the original video sequence is desirable in a number of ...
186
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...
281
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...