1864 search results - page 76 / 373 » Formal topology and domains |
167
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
175
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
181
click to vote
AAAI
2012
13 years 8 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
151
click to vote
HCI
2009
15 years 4 months ago
2009
Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontolo...
264
click to vote
Publication
I. Introduction
II. Foundations
A. The Mathematical Structure of Physical Field Theories
B. Geometric Objects and Orientation
1. Space-Time Object...