3053 search results - page 171 / 611 » Structured Objects: Modeling and Reasoning |
121
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
138
Voted
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
131
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
147
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We cast the problem of recognizing related categories as a unified learning and structured prediction problem with shared body plans. When provided with detailed annotations of o...
103
Voted
BC
2008
15 years 3 months ago
2008
Cerebellum-like structures are compared for two sensory systems: electrosensory and auditory. The electrosensory lateral line lobe of mormyrid electric fish is reviewedandtheneural...