1057 search results - page 34 / 212 » Testing from Formal Specifications, a Generic Approach |
FM
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...
CIARP
2007
Springer
13 years 11 months ago
2007
Springer
Many approaches to Information Extraction (IE) have been proposed in literature capable of finding and extract specific facts in relatively unstructured documents. Their applicatio...
INFOSCALE
2006
ACM
14 years 1 months ago
2006
ACM
— We consider the following situation for a given large-scale network: Starting from an initial node we move to its neighbor node and repeat that until reaching a target node. Ho...
SPLC
2008
13 years 9 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...