10935 search results - page 1958 / 2187 » Neural Programming Language |
117
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
129
click to vote
TSE
2008
15 years 1 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...
144
Voted
CACM
1998
15 years 1 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
123
click to vote
ASPLOS
2010
ACM
15 years 24 days ago
2010
ACM
Semantic indexing is a popular technique used to access and organize large amounts of unstructured text data. We describe an optimized implementation of semantic indexing and docu...
161
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...