Sciweavers

378 search results - page 46 / 76
» Integrating Natural Language Processing with Flybase Curatio...
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
MODELS
2007
Springer
15 years 3 months ago
A UML2 Profile for Service Modeling
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
Vina Ermagan, Ingolf H. Krüger
FDL
2005
IEEE
15 years 3 months ago
SystemC-Based Communication and Performance Analysis
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstie...
NLDB
2005
Springer
15 years 3 months ago
Named Entity Recognition for Web Content Filtering
Effective Web content filtering is a necessity in educational and workplace environments, but current approaches are far from perfect. We discuss a model for text-based intellige...
José María Gómez Hidalgo, Fra...
FLAIRS
2001
14 years 11 months ago
An Intelligent Interface for Keyboard and Mouse Control -- Providing Full Access to PC Functionality via Speech
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
Bill Z. Manaris, Renée A. McCauley, Valanne...