3844 search results - page 224 / 769 » Modular interpreted systems |
126
click to vote
SAMOS
2005
Springer
15 years 9 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
137
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
123
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
140
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
148
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...