6704 search results - page 879 / 1341 » Testing Scenario-Based Models |
152
Voted
EGOV
2009
Springer
16 years 1 months ago
2009
Springer
A critical element in the evolution of e-governmental services is the development of sites that better serve the citizens’ needs. To deliver superior service quality, we must fir...
175
Voted
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
196
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...
197
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Microshrinkages are known as probably the most difficult defects to avoid in high-precision foundry. The presence of this failure renders the casting invalid, with the su...
142
click to vote
MFCS
2009
Springer
16 years 29 days ago
2009
Springer
In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-peb...