1724 search results - page 100 / 345 » Industrial applications |
167
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: We describe in this paper the implementation and use of custom specializers in two current dialects of Lisp: Skill and Common Lisp. We motivate the need for such speciali...
142
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
143
click to vote
AIA
2007
15 years 8 months ago
2007
This paper describes SPMED, a system for robust and accurate linguistic parsing of medical documents which is used in several industrial products. The basic design criterion of th...
163
click to vote
LREC
2008
15 years 8 months ago
2008
Language resources and tools to create and process these resources are necessary components in human language technology and natural language applications. In this paper, we descr...
162
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...