Sciweavers

130 search results - page 4 / 26
» A Formal Way from Text to Code Templates
Sort
View
127
Voted
NIPS
2008
15 years 1 months ago
Interpreting the neural code with Formal Concept Analysis
We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explor...
Dominik Endres, Peter Földiák
116
Voted
SEMWEB
2007
Springer
15 years 6 months ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 4 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
AISC
1998
Springer
15 years 4 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 5 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...