Sciweavers

3387 search results - page 125 / 678
» Automating the Metamodeling Process
Sort
View
ANLP
2000
114views more  ANLP 2000»
15 years 5 months ago
A Tool for Automated Revision of Grammars for NLP Systems
We present an algorithm and a tool for automatically revising grammars for natural language processing (NLP) systems to disallow specifically identified sentences or sets of sente...
Nanda Kambhatla, Wlodek Zadrozny
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 4 months ago
Cooperative Automated Worm Response and Detection Immune Algorithm
The role of T-cells within the immune system is to confirm and assess anomalous situations and then either respond to or tolerate the source of the effect. To illustrate how these ...
Jungwon Kim, William O. Wilson, Uwe Aickelin, Juli...
IANDC
2006
93views more  IANDC 2006»
15 years 4 months ago
Automation for interactive proof: First prototype
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
Jia Meng, Claire Quigley, Lawrence C. Paulson
ANCS
2009
ACM
15 years 2 months ago
Experience with high-speed automated application-identification for network-management
AtoZ, an automatic traffic organizer, provides control of how network-resources are used by applications. It does this by combining the high-speed packet processing of the NetFPGA...
Marco Canini, Wei Li 0009, Martin Zádn&iacu...
UML
2004
Springer
15 years 9 months ago
Open Issues in Industrial Use Case Modeling
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
Gonzalo Génova, Juan Llorens Morillo, Pierr...