1613 search results - page 107 / 323 » Functional and Constraint Logic Programming |
111
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
136
click to vote
BCS
2008
15 years 5 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
157
click to vote
JMLR
2008
15 years 3 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
134
click to vote
INTERSENSE
2006
ACM
15 years 9 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
137
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...