Sciweavers

844 search results - page 23 / 169
» Further results on concordance relations
Sort
View
NIPS
2007
13 years 9 months ago
A Risk Minimization Principle for a Class of Parzen Estimators
This paper1 explores the use of a Maximal Average Margin (MAM) optimality principle for the design of learning algorithms. It is shown that the application of this risk minimizati...
Kristiaan Pelckmans, Johan A. K. Suykens, Bart De ...
JOCN
2011
94views more  JOCN 2011»
13 years 2 months ago
Establishing Causal Coherence across Sentences: An ERP Study
■ This study examined neural activity associated with establishing causal relationships across sentences during on-line comprehension. ERPs were measured while participants read...
Gina R. Kuperberg, Martin Paczynski, Tali Ditman
VMCAI
2010
Springer
14 years 5 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
14 years 2 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...
BIRTHDAY
2003
Springer
14 years 29 days ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
Martín Abadi, K. Rustan M. Leino