726 search results - page 62 / 146 » Formal Requirements Engineering: Learning from the Students |
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
104
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
ECML
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper presents a simple unsupervised learning algorithm for recognizing synonyms, based on statistical data acquired by querying a Web search engine. The algorithm, ...
SIGCSE
2009
ACM
16 years 12 days ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...