9818 search results - page 277 / 1964 » Much Support and More |
181
click to vote
APN
2004
Springer
16 years 4 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
142
click to vote
ECOOPW
2003
Springer
15 years 12 months ago
2003
Springer
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”. Much of the push behind Microsoft's new .NET technology has been directed at such ...
189
click to vote
COLT
1998
Springer
15 years 11 months ago
1998
Springer
We introduce and analyze a new algorithm for linear classification which combines Rosenblatt's perceptron algorithm with Helmbold and Warmuth's leave-one-out method. Like...
158
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This note discusses briefly some questions on economics of privacy, especially the relation of privacy to price discrimination, as well as relevant developments in ecommerce and o...
201
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...