361 search results - page 26 / 73 » Automatic Generation of Some Results in Finite Algebra |
ICALT
2010
IEEE
13 years 9 months ago
2010
IEEE
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
ASM
2005
ASM
14 years 2 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
DOCENG
2007
ACM
14 years 13 days ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
FM
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
BMCBI
2010
13 years 8 months ago
2010
Background: Primer and probe sequences are the main components of nucleic acid-based detection systems. Biologists use primers and probes for different tasks, some related to the ...