1036 search results - page 81 / 208 » The case for a location metasystem |
146
click to vote
ICCTA
2007
IEEE
16 years 20 days ago
2007
IEEE
‘To’ is one of the most common lexemes in English (as found in 34% of the sentences in the Penn Tree Bank corpus). This paper describes the analysis of the sentences involving...
158
click to vote
CIMCA
2005
IEEE
15 years 12 months ago
2005
IEEE
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
165
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
158
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
I investigate the competition dynamics between two identical clones of digital organisms, for three sets of clones taken from different locations in the fitness landscape. When t...
144
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...