4940 search results - page 826 / 988 » On the Complexity of Universal Programs |
169
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
184
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
196
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
187
click to vote
MOZ
2004
Springer
15 years 11 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
172
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...