Sciweavers

10182 search results - page 1647 / 2037
» Case Studies
Sort
View
MLG
2007
Springer
16 years 1 months ago
Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, Jose Santos
MSN
2007
Springer
160views Sensor Networks» more  MSN 2007»
16 years 1 months ago
Access Scheduling on the Control Channels in TDMA Wireless Mesh Networks
The access scheduling on the control channels in TDMA wireless mesh networks is studied in this paper. The problem is to assign time-slots for each node in the network to access th...
Hongju Cheng, Xiaohua Jia, Hai Liu
SAT
2007
Springer
181views Hardware» more  SAT 2007»
16 years 1 months ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
UCS
2007
Springer
16 years 1 months ago
Mobility Helps Data Delivery in Disruption Tolerant Networks
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
Kaoru Sezaki, Niwat Thepvilojanapong, Yoshito Tobe
WABI
2007
Springer
16 years 1 months ago
Topology Independent Protein Structural Alignment
Abstract. Protein structural alignment is an indispensable tool used for many different studies in bioinformatics. Most structural alignment algorithms assume that the structural ...
Joe Dundas, T. Andrew Binkowski, Bhaskar DasGupta,...
« Prev « First page 1647 / 2037 Last » Next »