3005 search results - page 282 / 601 » Logical Information Systems: from Taxonomies to Logics |
173
click to vote
LISA
2004
15 years 8 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
166
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
162
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The customary medicinal plant knowledge possessed by the Australian Aboriginal people is a significant resource. Published information on it is scattered throughout th...
188
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
201
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...