3973 search results - page 409 / 795 » Records for Logic Programming |
149
click to vote
NECO
2008
15 years 6 months ago
2008
A new gradient technique is introduced for linear ICA based on the Edgeworth expansion of mutual information, for which the algorithm operates sequentially using fixed-point itera...
184
click to vote
ALIFE
2004
15 years 6 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
207
click to vote
FAST
2009
15 years 4 months ago
2009
Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessi...
171
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
140
click to vote
CSMR
2006
IEEE
16 years 25 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...