4693 search results - page 827 / 939 » Verifying Hybrid Systems |
89
Voted
DSS
2008
15 years 24 days ago
2008
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
124
Voted
AROBOTS
2006
15 years 24 days ago
2006
How can a mobile robot measure the area of a closed region that is beyond its immediate sensing range? This problem, which we name as blind area measurement, is inspired from scout...
ESWA
2008
15 years 24 days ago
2008
For thin film transistor-liquid crystal displays (TFT-LCD) factories in Taiwan, yield performance had become as an important competitiveness determinant during the competitive env...
FAC
2008
15 years 23 days ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
105
click to vote
COMCOM
2006
15 years 23 days ago
2006
Monitoring has become one of the key issues for the successful deployment of IP multicast in the Internet. During the last decade, several tools and systems have been developed to ...