Sciweavers

349 search results - page 15 / 70
» Natural Language Requirements Analysis and Class Model Gener...
Sort
View
MODELS
2010
Springer
15 years 9 days ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...
163
Voted
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 8 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
132
Voted
ICIAR
2004
Springer
15 years 7 months ago
Visual Object Recognition Through One-Class Learning
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
QingHua Wang, Luís Seabra Lopes, David M. J...
COMPUTER
2007
135views more  COMPUTER 2007»
15 years 1 months ago
A Language for Human Action
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
125
Voted
IJCAI
2007
15 years 3 months ago
Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis
Computing semantic relatedness of natural language texts requires access to vast amounts of common-sense and domain-specific world knowledge. We propose Explicit Semantic Analysi...
Evgeniy Gabrilovich, Shaul Markovitch