4895 search results - page 734 / 979 » Tools for Grammar Engineering |
146
click to vote
WEBI
2005
Springer
16 years 2 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...
163
click to vote
ASPDAC
2004
ACM
16 years 1 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 ...
169
click to vote
ECLIPSE
2004
ACM
16 years 1 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, ...
178
click to vote
ECLIPSE
2004
ACM
16 years 1 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...
184
click to vote
ERLANG
2004
ACM
16 years 1 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...