4158 search results - page 509 / 832 » A Framework for Web Science |
142
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
200
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
164
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Computing a few eigenpairs of large-scale matrices is a significant problem in science and engineering applications and a very active area of research. In this paper, two methods...
167
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
146
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...