4985 search results - page 103 / 997 » Observation of String-Rewriting Systems |
94
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
107
click to vote
FORTE
2007
15 years 4 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
127
click to vote
PAMI
2007
15 years 2 months ago
2007
The dimensionality of face space is measured objectively in a psychophysical study. Within this framework we obtain a measurement of the dimension for the human visual system. Usi...
117
click to vote
JIRS
2007
15 years 3 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...
97
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...