941 search results - page 127 / 189 » Mathematics on the (Semantic) NET |
158
click to vote
TCSB
2010
14 years 11 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
110
click to vote
KDD
2005
ACM
16 years 29 days ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
96
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
99
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
106
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...