Sciweavers

941 search results - page 114 / 189
» Mathematics on the (Semantic) NET
Sort
View
102
Voted
JAPLL
2007
88views more  JAPLL 2007»
15 years 15 days ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
ICCS
2004
Springer
15 years 6 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
AISC
2010
Springer
15 years 5 months ago
Notations Around the World: Census and Exploitation
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
Paul Libbrecht
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 21 days ago
The meaning of concurrent programs
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
Victor Yodaiken
WECWIS
1999
IEEE
102views ECommerce» more  WECWIS 1999»
15 years 4 months ago
Monitoring and Prediction of Network Performance
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
Bjorn Frogner, Alexander B. Cannara