Sciweavers

6607 search results - page 154 / 1322
» Making TeX Work
Sort
View
ENTCS
2007
119views more  ENTCS 2007»
15 years 3 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
117
Voted
JMIV
2007
115views more  JMIV 2007»
15 years 3 months ago
Combining Points and Tangents into Parabolic Polygons
Image and geometry processing applications estimate the local geometry of objects using information localized at points. They usually consider information about the tangents as a s...
Marcos Craizer, Thomas Lewiner, Jean-Marie Morvan
AMAI
2002
Springer
15 years 3 months ago
Minimizing Output Error in Multi-Layer Perceptrons
act It is well-established that a multi-layer perceptron (MLP) with a single hidden layer of N neurons and an activation function bounded by zero at negative infinity and one at in...
Jonathan P. Bernick
JODL
2000
124views more  JODL 2000»
15 years 3 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue
150
Voted
JUCS
2002
146views more  JUCS 2002»
15 years 3 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo