2409 search results - page 380 / 482 » Logical systems for structured specifications |
153
Voted
DICTA
2008
15 years 5 months ago
2008
Many object categories are better characterized by the shape of their contour than by local appearance properties like texture or color. Multi-local features are designed in order...
119
Voted
LREC
2008
15 years 5 months ago
2008
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
129
Voted
LEGE
2003
15 years 5 months ago
2003
In this work we want to put in evidence the necessity to integrate theoretical, methodological and didactical aspects with innovative e-learning systems, in order to hypothesize po...
127
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
112
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Numerous biological functions--such as enzymatic catalysis, the immune response system, and the DNA-protein regulatory network--rely on the ability of molecules to specifically rec...