1743 search results - page 146 / 349 » Generalized Modal Satisfiability |
137
Voted
AMW
2009
15 years 4 months ago
2009
In sequential pattern discovery, the support of a sequence is computed as the number of data-sequences satisfying a pattern with respect to the total number of data-sequences in th...
127
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the ...
132
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
111
click to vote
GIS
2008
ACM
15 years 4 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
130
Voted
ISLPED
2010
ACM
15 years 3 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...