Sciweavers

5924 search results - page 1078 / 1185
» Normal Process Representatives
Sort
View
BMCBI
2007
153views more  BMCBI 2007»
13 years 8 months ago
A new pairwise kernel for biological network inference with support vector machines
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...
Jean-Philippe Vert, Jian Qiu, William Stafford Nob...
CE
2007
102views more  CE 2007»
13 years 8 months ago
Environmental design for a structured network learning society
Social interactions profoundly impact the learning processes of learners in traditional societies. The rapid rise of the Internet using population has been the establishment of nu...
Ben Chang, Nien-Heng Cheng, Yi-Chan Deng, Tak-Wai ...
IJFCS
2006
110views more  IJFCS 2006»
13 years 8 months ago
Sat-based Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
Fang Yu, Bow-Yaw Wang
JETAI
2008
114views more  JETAI 2008»
13 years 8 months ago
On the nature of minds, or: truth and consequences
Are minds really dynamical or are they really symbolic? Because minds are bundles of computations, and because computation is always a matter of interpretation of one system by an...
Shimon Edelman
IR
2006
13 years 8 months ago
A relatedness analysis of government regulations using domain knowledge and structural organization
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
Gloria T. Lau, Kincho H. Law, Gio Wiederhold
« Prev « First page 1078 / 1185 Last » Next »