• Search: "Optimization. Search problems"

Showing 61 - 80 of 2,903

61

Initial-boundary value problem for the stochastic equation of thermoelasticity theory
GAWINECKI, Jerzy ; KOWALSKI, Lucjan
Stochastic optimization techniques (numerical methods and technical applications)Lecture notes in economics and mathematical systems. :233-251

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Conference
Save to List
62

Inertia-controlling factorizations for optimization algorithms
FORSGREN, Anders
19th Dundee biennial conference on numerical analysis, 26-29 June, 2001, Dundee, Scotland, UKApplied numerical mathematics. 43(1-2):91-107

Mathematics Mathématiques Mechanics acoustics Mécanique et acoustique Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
63

Global constraints for lexicographic orderings
FRISCH, Alan ; HNICH, Brahim ; KIZILTAN, Zeynep ; et al.
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :93-108

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
64

Formal verification of Functional properties of an SCR-style Software Requirements specification using PVS
KIM, Taeho ; STRINGER-CALVERT, David ; CHA, Sungdeok
TACAS 2002 : tools and algorithms for the construction and analysis of systems (Grenoble, 8-12 April 2002)Lecture notes in computer science. :205-220

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
65

Extending cell suppression to protect tabular data against several attackers
GONZALEZ, Juan José
Inference control in statistical databases: from theory to practice (Luxembourg, 13-14 December 2001)Lecture notes in computer science. :34-58

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
66

Discrete approximation of extremum problems with chance constraints
LEPP, Riho
Stochastic optimization techniques (numerical methods and technical applications)Lecture notes in economics and mathematical systems. :21-33

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Conference
Save to List
67

Crossing minimization for symmetries
BUCHHEIML, Christoph ; HONG, Seok-Hee
Algorithms and computation (Vancouver BC, 21-23 November 2002)Lecture notes in computer science. :563-574

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
68

Conflict resolution problems for air traffic management systems solved with mixed integer programming
PALLOTTINO, Lucia ; FERON, Eric M ; BICCHI, Antonio
IEEE Transactions on intelligent transportation systems. 3(1):3-11

Control theory, operatio... Automatique, recherche o... Transportation Transports Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
69

Computing two-stage stochastic programming problems by successive regression approximations
DEAK, Istvan
Stochastic optimization techniques (numerical methods and technical applications)Lecture notes in economics and mathematical systems. :91-102

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Conference
Save to List
70

CASL: the Common Algebraic Specification Language
ASTESIANO, Egidio ; BIDOIT, Michel ; KIRCHNER, Hélène ; et al.
Current trends in Algebraic Development TechniquesTheoretical computer science. 286(2):153-196

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
71

Breaking row and column symmetries in matrix models
FLENER, Pierre ; FRISCH, Alan M ; HNICH, Brahim ; et al.
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :462-476

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
72

Automata, logic, and XML
NEVEN, Frank
CSL 2002 : computer science logic (Edinburgh, 22-25 September 2002)Lecture notes in computer science. :2-26

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
73

A strategy for searching with different access costs
SANY LABER, Eduardo ; MILIDIU, Ruy Luiz ; ALVES PESSOA, Artur
AlgorithmsTheoretical computer science. 287(2):571-584

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
74

Spin-off sensitivity information gaigned in search procedures by genetic algorithms
MARSEGUERRA, Marzio ; PODOFILLINI, Luca ; ZIO, Enrico
SAMO 2001 : third international symposium on sensitivity analysis of model output (Madrid, 18-20 June 2001 ). :209-213

Control theory, operatio... Automatique, recherche o... Mechanical engineering Génie mécanique Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
75

Run-time performance optimization of an FPGA-based deduction engine for SAT solvers
DANDALIS, Andreas ; PRASANNA, Viktor K ; THIRUVENGADAM, Bharani
FPL 2001 : field-programmable logic and applications (Belfast, 27-29 August 2001)Lecture notes in computer science. :315-325

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
76

On step width adaptation in simulated annealing for continuous parameter optimisation
NOLLE, Lars ; GOODYEAR, Alec ; HOPGOOD, Adrian A ; et al.
Computational intelligence : theory and applications (Dortmund, 1-3 October 2001)Lecture notes in computer science. :589-598

Computer science Informatique General medicine general... Médecine et chirurgie gé... Telecommunications Télécommunications …
Conference
Save to List
77

Finite-tree analysis for constraint logic-based languages
BAGNARA, Roberto ; GORI, Roberta ; HILL, Patricia M ; et al.
Static analysis (Paris, 16-18 July 2001)Lecture notes in computer science. :165-184

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
78

Evolutionary optimization of Yagi-Uda antennas
LOHN, Jason D ; KRAUS, William F ; LINDEN, Derek S ; et al.
Evolvable systems : from biology to hardware (Tokyo, 3-5 October 2001)Lecture notes in computer science. :236-243

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
79

Decision strategies in evolutionary optimization
TAKAHASHI, Arita ; BORISOV, Arkady
Computational intelligence : theory and applications (Dortmund, 1-3 October 2001)Lecture notes in computer science. :345-356

Computer science Informatique General medicine general... Médecine et chirurgie gé... Telecommunications Télécommunications …
Conference
Save to List
80

Challenges of commutation : An advertisement
KARHUMÄKI, Juhani
FCT 2001 : fundamentals of computational theory (Riga, 22-24 August 2001)Lecture notes in computer science. :15-23

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter