1075 search results - page 88 / 215 » On Singular Interval Systems |
124
click to vote
CONTEXT
2005
Springer
15 years 9 months ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
157
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
106
click to vote
ANSS
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper examines load sharing in a network of workstations (NOW). It proposes a special load sharing method referred to as epoch load sharing. With this policy, load is evenly ...
148
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
125
click to vote
APIN
2005
15 years 4 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...