Sciweavers

2095 search results - page 214 / 419
» Describing Groups
Sort
View
CTW
2007
91views more  CTW 2007»
15 years 6 months ago
Collaborative cross-checking to enhance resilience
Resilience, the ability to adapt or absorb disturbance, disruption, and change, may be increased by team processes in a complex, socio-technical system. In particular, collaborativ...
Emily S. Patterson, David D. Woods, Richard I. Coo...
ENTCS
2007
112views more  ENTCS 2007»
15 years 6 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
JVCIR
2006
280views more  JVCIR 2006»
15 years 6 months ago
Error resiliency schemes in H.264/AVC standard
Real-time transmission of video data in network environments, such as wireless and Internet, is a challenging task, as it requires high compression efficiency and network friendly...
Sunil Kumar, Liyang Xu, Mrinal K. Mandal, Sethuram...
MP
2006
78views more  MP 2006»
15 years 6 months ago
Valid inequalities based on the interpolation procedure
We study the interpolation procedure of Gomory and Johnson (1972), which generates cutting planes for general integer programs from facets of cyclic group polyhedra. This idea has...
Sanjeeb Dash, Oktay Günlük
JAR
2007
72views more  JAR 2007»
15 years 6 months ago
Inferring Phylogenetic Trees Using Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, Ja...