4895 search results - page 734 / 979 » Tools for Grammar Engineering |
163
click to vote
WEBI
2005
Springer
16 years 21 days ago
2005
Springer
Search engines are powerful tools to find information on the Web. However, they commonly return a lot of irrelevant documents when the users’ queries are not specific enough. To...
174
click to vote
ASPDAC
2004
ACM
16 years 19 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
187
click to vote
ECLIPSE
2004
ACM
16 years 19 days ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
189
click to vote
ECLIPSE
2004
ACM
16 years 19 days ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
197
click to vote
ERLANG
2004
ACM
16 years 19 days ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...