Sciweavers

1730 search results - page 212 / 346
» Algebra and Computation
Sort
View
139
Voted
CONCUR
1992
Springer
15 years 8 months ago
On the Semantics of Petri Nets
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
José Meseguer, Ugo Montanari, Vladimiro Sas...
SCW
2006
IEEE
15 years 10 months ago
Implementation of a Complex Event Engine for the Web
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
José Júlio Alferes, Gaston E. Tagni
ACMSE
2005
ACM
15 years 9 months ago
Heuristics for dependency conjectures in proteomic signaling pathways
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
Edward E. Allen, Jacquelyn S. Fetrow, David J. Joh...
FOCS
2007
IEEE
15 years 10 months ago
On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
Kousha Etessami, Mihalis Yannakakis
ICPR
2008
IEEE
16 years 5 months ago
Efficient implementation of SVM for large class problems
Multiclass classification is an important problem in pattern recognition. Hierarchical SVM classifiers such as DAG-SVM and BHC-SVM are popular in solving multiclass problems. Howe...
Prabakaran Ilayaraja, N. V. Neeba, C. V. Jawahar