Sciweavers

4372 search results - page 284 / 875
» Objects for Lexical Analysis
Sort
View
SPC
2005
Springer
16 years 3 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
MICAI
2004
Springer
15 years 12 months ago
A Preprocessing That Combines Heuristic and Surrogate Constraint Analysis to Fix Variables in TSP
A preprocessing procedure that uses a local guided search defined in terms of a neighborhood structure to get a feasible solution (UB) and the Osorio and Glover[18, 20] exploiting ...
María Auxilio Osorio Lama, David Pinto
GECCO
2003
Springer
123views Optimization» more  GECCO 2003»
15 years 12 months ago
Analysis of the (1+1) EA for a Dynamically Bitwise Changing OneMax
Abstract. Although evolutionary algorithms (EAs) are often successfully used for the optimization of dynamically changing objective function, there are only very few theoretical re...
Stefan Droste
ITNG
2010
IEEE
15 years 11 months ago
Fuzzy Spatio-temporal Relations Analysis
—There are different families of Spatio-temporal relations such as same-place same-time, same-place differenttimes, for road networks like overtake, derive beside and many others...
Nadeem Salamat, El-hadi Zahzah
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
15 years 11 months ago
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
Roman M. Wong, Siddhartha Bhattacharyya