2451 search results - page 161 / 491 » Effective View Navigation |
HT
2004
ACM
15 years 3 months ago
2004
ACM
This hypertext reports on issues in hypertext rhetoric and presentation that arise in composing a large argumentative hypertext associated with a book version of the same project....
ESWS
2004
Springer
15 years 3 months ago
2004
Springer
The field of economy and finance is a conceptually rich domain where information is complex, huge in volume and a highly valuable business product by itself. Novel management techn...
ICFCA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
100
click to vote
ISER
2004
Springer
15 years 3 months ago
2004
Springer
Navigation in unknown or partially unknown environments remains one of the biggest challenges in today's mobile robotics. Environmental modeling, perception, localization and ...
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...