Sciweavers

4378 search results - page 366 / 876
» On the Complexity of Ordered Colourings
Sort
View
JELIA
2010
Springer
15 years 5 months ago
Sets of Boolean Connectives That Make Argumentation Easier
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
Nadia Creignou, Johannes Schmidt, Michael Thomas, ...
JUCS
2010
172views more  JUCS 2010»
15 years 5 months ago
Configuration Process of a Software Product Line for AmI Middleware
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
Lidia Fuentes, Nadia Gámez
MA
2010
Springer
140views Communications» more  MA 2010»
15 years 5 months ago
The Dirichlet Markov Ensemble
We equip the polytope of n × n Markov matrices with the normalized trace of the Lebesgue measure of Rn2 . This probability space provides random Markov matrices, with i.i.d. rows...
Djalil Chafaï
PROCEDIA
2010
140views more  PROCEDIA 2010»
15 years 5 months ago
Jaccard Index based availability prediction in enterprise grids
Enterprise Grid enables sharing and aggregation of a set of computing or storage resources connected by enterprise network, but the availability of the resources in this environme...
Mustafizur Rahman 0003, Md. Rafiul Hassan, Rajkuma...
TIP
2010
152views more  TIP 2010»
15 years 5 months ago
Rate-Distortion Optimized Bitstream Extractor for Motion Scalability in Wavelet-Based Scalable Video Coding
—Motion scalability is designed to improve the coding efficiency of a scalable video coding framework, especially in the medium to low range of decoding bit rates and spatial re...
Meng-Ping Kao, T. Q. Nguyen