4352 search results - page 124 / 871 » A Representation Theorem and Applications |
180
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
157
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
141
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
180
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Author identification is a text categorization task with applications in intelligence, criminal law, computer forensics, etc. Usually, in such cases there is shortage of training t...
154
click to vote
ICONIP
2007
15 years 7 months ago
2007
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...