8179 search results - page 168 / 1636 » The PRACTIONIST Development Tool |
171
click to vote
ANLP
2000
15 years 7 months ago
2000
We present an algorithm and a tool for automatically revising grammars for natural language processing (NLP) systems to disallow specifically identified sentences or sets of sente...
155
click to vote
PDSE
1998
15 years 7 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
151
click to vote
BIB
2006
15 years 6 months ago
2006
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
158
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
180
click to vote
SPIN
2009
Springer
16 years 28 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...