8179 search results - page 128 / 1636 » The PRACTIONIST Development Tool |
147
click to vote
IADIS
2003
15 years 7 months ago
2003
Although there are a lot of web based e-learning solutions on the market, using these tools to design and organize courses still stays a very difficult task for most teachers. Edu...
161
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We are developing evaluation tools that help sustainable HCI researchers to contribute to the overall project of achieving sustainability. In this paper we argue for broadening su...
153
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
160
click to vote
LREC
2010
15 years 7 months ago
2010
FreeLing is an open-source multilingual language processing library providing a wide range of language analyzers for several languages. It offers text processing and language anno...
152
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...