549 search results - page 54 / 110 » Constraint Programming in Structural Bioinformatics |
164
click to vote
POPL
2002
ACM
16 years 26 days ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
91
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
100
click to vote
ALGORITHMICA
2010
15 years 20 days ago
2010
We divide a string into k segments, each with only one sort of symbols, so as to minimize the total number of exceptions. Motivations come from machine learning and data mining. F...
213
click to vote
POPL
2007
ACM
16 years 26 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...