2410 search results - page 84 / 482 » Multiset Ordering Constraints |
146
Voted
IANDC
2007
15 years 4 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...
164
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
142
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
135
Voted
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
152
Voted
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Graph cut algorithms (i.e., min s-t cuts) [3][10][15] are useful in many computer vision applications. In this paper we develop a formulation that allows the addition of side cons...