5550 search results - page 312 / 1110 » Different Approaches to Proof Systems |
200
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
The use of Caching and Multicasting has been studied extensively in the context of terrestrial networks. However, the use of these technologies in a Direct Broadcast Satellite(DBS...
141
Voted
KES
1998
Springer
15 years 11 months ago
1998
Springer
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
155
click to vote
SPLC
2008
15 years 8 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...
140
click to vote
FLAIRS
1998
15 years 8 months ago
1998
An option to ensure that operators of complex systems have adequate situation awareness (SA) to support decision making and action is to train them to acquire and maintain SA. Thi...
185
Voted
JNCA
2008
15 years 6 months ago
2008
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...