4940 search results - page 826 / 988 » On the Complexity of Universal Programs |
192
Voted
ICLP
2004
Springer
16 years 11 days 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...
214
Voted
IFIP
2004
Springer
16 years 11 days 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...
222
Voted
JELIA
2004
Springer
16 years 10 days 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...
207
click to vote
MOZ
2004
Springer
16 years 10 days 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...
191
Voted
OOPSLA
2004
Springer
16 years 10 days 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...