10159 search results - page 1769 / 2032 » System Design Validation Using Formal Models |
153
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
178
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In flow-based mix networks, flow correlation attacks have been proposed earlier and have been shown empirically to seriously degrade mix-based anonymous communication systems. In ...
190
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
196
click to vote
JNW
2007
15 years 6 months ago
2007
— Recent advances in telecommunication networks have allowed WDM to emerge as a viable solution to the ever-increasing demands of the Internet. Because these networks carry large...
347
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—Reading text from photographs is a challenging problem that has received a signicant amount of attention. Two key components of most systems are (i) text detection from images a...