315 search results - page 28 / 63 » A formal approach to software components classification and ... |
115
Voted
TSE
2008
15 years 11 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
106
Voted
IJWIS
2008
15 years 14 days ago
2008
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
101
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
105
click to vote
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
In many vision problems, instead of having fully labeled training data, it is easier to obtain the input in small groups, where the data in each group is constrained to be from th...
137
click to vote
IUI
2000
ACM
15 years 4 months ago
2000
ACM
The ability to deliver appropriate information to learners at the most appropriate time is an essential component of good instruction. In the best learning environments, this info...