Sciweavers

21342 search results - page 160 / 4269
» Structured language modeling
Sort
View
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
16 years 16 days ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
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]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
ERLANG
2006
ACM
16 years 10 days ago
Model checking erlang programs: the functional approach
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 ...
Lars-Åke Fredlund, Clara Benac Earle
WWW
2003
ACM
16 years 7 months ago
XQuery By Example
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...
Daniele Braga, Alessandro Campi, Stefano Ceri, Enr...
CIKM
2005
Springer
15 years 12 months ago
Learning to summarise XML documents using content and structure
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...
Massih-Reza Amini, Anastasios Tombros, Nicolas Usu...
BIRTHDAY
1997
Springer
15 years 10 months ago
Spatial and Temporal Structures in Cognitive Processes
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...
Christian Freksa