3233 search results - page 148 / 647 » Validation Method for Intelligent Systems |
106
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
123
Voted
ACL
2006
15 years 4 months ago
2006
This paper focuses on the use of advanced techniques of text analysis as support for collocation extraction. A hybrid system is presented that combines statistical methods and mul...
121
click to vote
AAAI
2008
15 years 5 months ago
2008
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...
152
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
111
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...