1940 search results - page 195 / 388 » Eurostore - Initial Design and First Results |
193
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
192
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
157
click to vote
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
191
click to vote
EKNOW
2009
15 years 4 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
172
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
How to rapidly disseminate a large-sized file to many recipients is a fundamental problem in many applications, such as updating software patches and distributing large scientific ...