703 search results - page 47 / 141 » On Addressing the Computer Science Crisis |
MFCS
2007
Springer
15 years 3 months ago
2007
Springer
The minimization problem for visibly pushdown automata (VPA) is studied. Two subclasses of VPA are introduced: call driven automata, and block automata. For the first class, minim...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper discusses in detail a possible methodology for collecting repository data on a large number of open source software projects from a single project hosting and community...
ERSHOV
2003
Springer
15 years 2 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
SIGCSE
1999
ACM
15 years 2 months ago
1999
ACM
Computer Science programs are faced with demand from both students and employers for courses in hot topics such as Internet Administration, but resources such as course time and l...
ACSC
2007
IEEE
15 years 4 months ago
2007
IEEE
Statistical learning methods are commonly applied in content-based video and image retrieval. Such methods require a large number of examples which are usually obtained through a ...