Searching for "DeltaMiner." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

A specialised binary constraint for the stable marriage problem
by Chris Unsworth, Patrick Prosser — 2005 — In SARA 2005
… when the constraint is created, and is simply a call to deltaMin. 1. init(c) 2. deltaMin(c) 5 6 5…
Cited by 5 (3 self) – Add To MetaCart

Checking for orthant orderings between discrete multivariate distributions: An algorithm
by Seminar F, Rainer Dyckerhoff, Rainer Dyckerhoff, Hartmut Holz, Hartmut Holz, Karl Mosler, Karl Mosler — 1998
… CASE Check:TCheck OF lo,uo,locc,uocx: ( Dominance: Boolean; Index: --1..1); Smirnov1,Smirnov2: ( DeltaMin…
Add To MetaCart

Comparing two user-interface architectures: MVC and PAC
by Andrew Hussey, Andrew Hussey, David Carrington, David Carrington — 1996 — MVC and PAC. FAHCI'96
… \Delta(min; hr) hr? : Hour min? : Minute min 0 = min? hr 0 = hr? Tick \Delta(min; hr) min 0 = (min…
Cited by 6 (0 self) – Add To MetaCart

Implementao de um Servio de Sincronizao Intra e
by Intermdia Considerando Relaes, Relaes Temporais Implcitas, Marcelo Gonalves, Rubinstein Otto, Carlos Muniz, Bandeira Duarte
… parmetros de sincronizao da seo 2 que so delta_min, delta_max, delta_r_min, delta_r_max, theta e ro e o…
Add To MetaCart

Abstract Information Miner – a Data Analysis Platform
by Frank Rügheimer
….), DeltaMiner (Bissantz & Co. GmbH). Finally the need for specialized solutions has lead to systems…
Add To MetaCart

EUSFLAT- LFA 2005 Information Miner – a Data Analysis Platform
by Frank Rügheimer, Rudolf Kruse
… Solutions Ltd.), DeltaMiner (Bissantz & Co. GmbH). Finally the need for specialized solutions has lead…
Add To MetaCart

Software Deviation Analysis: A "Safeware" Technique
by Jon Damon Reese, Nancy G. Leveson — 1997
… otherwise Delta_Max = { 0 otherwise Delta_Min = 10 if Pressure' Delta Pressure Reading Flow Tank Valve…
Cited by 8 (1 self) – Add To MetaCart

Graph Theory in Isabelle/Isar
by Gertrud Bauer — 2002
…) by (unfold delta-def ) (rule someI-ex ) qed lemma delta-min: V g 6= fg =) (9 w 2 V g : g = degree g w…
Add To MetaCart

IS-PAES: A Constraint-Handling Technique Based on
by Multiobjective Optimization Concepts, Arturo Hernández Aguirre, Salvador Botello Rionda, Giovanni Lizárraga Lizárraga, Carlos A. Coello Coello, Depto De Ingeniería Eléctrica, Sección De Computación, Politécnico Nacional No
… � ��¤ � �� © ¢¦¥¨§¨§� � © ¢�¥¨§�§� ) �� ¤�� © ¢¦¥¨§¨§� � © ¢�¥ §¨§� ; � � � � ¥ � � © ¥ � � © ¥ ¤�� ¥ � ¢�¥¨§ � £ � ��¤ � � ��¨� � ��¥ �� = max(slack� , deltaMin� ); delta…
Add To MetaCart

Comparing LOTOS and Z refinement relations
by John Derrick, Howard Bowman, Eerke Boiten, Maarten Steen — 1996 — In FORTE/PSTV'96
… \Delta(s ); \Delta(min; max ) (s = s 2 s 0 = s 0 ) (s = s 3 s 0 = s 0 min 0 = x ) (s = s 4…
Cited by 10 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB