315 search results - page 28 / 63 » A formal approach to software components classification and ... |
TSE
2008
13 years 7 months 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...
IJWIS
2008
13 years 7 months 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...
ICDAR
2005
IEEE
14 years 1 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...
ICCV
2007
IEEE
14 years 9 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...
IUI
2000
ACM
14 years 5 days 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...