2859 search results - page 444 / 572 » A Programming Environment for Bousi-Prolog |
134
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Many bioinformatics studies require the analysis of RNA or DNA structures. More specifically, extensive work is done to elaborate efficient algorithms able to predict the 2-D fold...
124
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
140
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
141
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Graph searching games have been extensively studied in the past years. The graph searching problem involves a team of searchers who are attempting to capture a fugitive moving alon...
115
click to vote
APSCC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses the design and implementtation of a residential gateway: MyServer, which is to provide services regarding home security, inventory tracking, facility manageme...