4770 search results - page 97 / 954 » Flexible Type Analysis |
120
click to vote
NOLISP
2005
Springer
15 years 9 months ago
2005
Springer
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...
136
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
137
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
—Most of the contemporary research in wireless networks is primarily based on simulations or in-house small scale experimental setups that are highly customized for the experimen...
146
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
128
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many complementary solutions are available for the identifier mapping problem. This creates an opportunity for bioinformatics tool developers. Tools can be made to fle...