3387 search results - page 569 / 678 » Automating the Metamodeling Process |
131
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
137
click to vote
AAAI
2004
15 years 6 months ago
2004
Our KNOWITALL system aims to automate the tedious process of extracting large collections of facts (e.g., names of scientists or politicians) from the Web in an autonomous, domain...
135
click to vote
AIPS
2004
15 years 6 months ago
2004
Military operations planning involves concurrent actions, resource assignment, and conflicting costs. Individual tasks sometimes fail with a known probability, promoting a decisio...
146
click to vote
ACL
2006
15 years 6 months ago
2006
The integration of sophisticated inference-based techniques into natural language processing applications first requires a reliable method of encoding the predicate-argument struc...
149
click to vote
AIPS
2006
15 years 6 months ago
2006
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the intricate interactions of human representati...