21342 search results - page 160 / 4269 » Structured language modeling |
120
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
107
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
118
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
120
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
Documents formatted in eXtensible Markup Language (XML) are becoming increasingly available in collections of various document types. In this paper, we present an approach for the...
112
click to vote
BIRTHDAY
1997
Springer
15 years 7 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...