4460 search results - page 667 / 892 » Formal methods for interactive systems |
184
click to vote
HEURISTICS
2010
15 years 2 months ago
2010
The urban transit routing problem (UTRP) is NP-Hard and involves devising routes for public transport systems. It is a highly complex multiply constrained problem and the evaluati...
170
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
166
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
169
click to vote
AAAI
1996
15 years 6 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
275
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...