8009 search results - page 202 / 1602 » cans 2005 |
170
click to vote
CSCLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
191
click to vote
ACTA
2005
15 years 6 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
155
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
The recent explosion of interest in graph cut methods in computer vision naturally spawns the question: what energy functions can be minimized via graph cuts? This question was fi...
158
click to vote
ECBS
2005
IEEE
16 years 3 days ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
141
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
The Pediatric Pain Mailing List (PPML) is an international Internet-based forum for informal discussion of any topic related to pain in children. There are now over seven hundred ...