11561 search results - page 2115 / 2313 » A Language for Biochemical Systems |
193
click to vote
ICLP
2003
Springer
16 years 11 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
197
click to vote
IFL
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
182
click to vote
COMPGEOM
2010
ACM
16 years 7 days ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
182
click to vote
JCDL
2010
ACM
16 years 7 days ago
2010
ACM
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
168
click to vote
COOPIS
2002
IEEE
16 years 4 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...