Sciweavers

2738 search results - page 237 / 548
» The Frobenius Problem and Its Generalizations
Sort
View
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
TKDE
2008
121views more  TKDE 2008»
15 years 6 months ago
On Modularity Clustering
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
Ulrik Brandes, Daniel Delling, Marco Gaertler, Rob...
JCP
2007
121views more  JCP 2007»
15 years 6 months ago
Learning by Discrimination: A Constructive Incremental Approach
Abstract— This paper presents i-AA1 , a constructive, incremental learning algorithm for a special class of weightless, self-organizing networks. In i-AA1 , learning consists of ...
Christophe G. Giraud-Carrier, Tony R. Martinez
KER
2007
90views more  KER 2007»
15 years 6 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
INFORMATICALT
1998
89views more  INFORMATICALT 1998»
15 years 6 months ago
A Mathematical Analysis of an Age-sex-space-structured Population Dynamics Model with Random Mating and Females' Pregnancy
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...
Vladas Skakauskas