1587 search results - page 252 / 318 » Software Engineering Programmes are not Computer Science Pro... |
111
Voted
HPCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
105
Voted
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
119
click to vote
GI
1997
Springer
15 years 5 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
139
click to vote
STTT
2010
14 years 7 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
127
click to vote
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...