Sciweavers

16091 search results - page 272 / 3219
» Solving
Sort
View
ACE
2004
197views Education» more  ACE 2004»
15 years 8 months ago
The Cryptic Crossword Puzzle as a Useful Analogue in Teaching Programming
Contrary to the apparent beliefs of many students, computer programming and problem solving are not amenable to purely book learning. These skills can be acquired only by practice...
Simon
CSREASAM
2006
15 years 8 months ago
A New Approach For Source Authentication Of Multicast Data
Multicast Security is one of the important problems to solve for the successful deployment of group communication applications, and source authentication of multicast data is a key...
Jinxin He, Gaochao Xu, Zhiguo Zhou, Guannan Gong
CORR
2008
Springer
77views Education» more  CORR 2008»
15 years 6 months ago
Principal Graphs and Manifolds
In many physical statistical, biological and other investigations it is desirable to approximate a system of points by objects of lower dimension and/or complexity. For this purpo...
Alexander N. Gorban, Andrei Yu. Zinovyev
ENTCS
2008
108views more  ENTCS 2008»
15 years 6 months ago
E-matching for Fun and Profit
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
COR
2006
86views more  COR 2006»
15 years 6 months ago
Parametric tabu-search for mixed integer programs
A parametric form of tabu-search is proposed for solving mixed integer programming (MIP) problems that creates and solves a series of linear programming (LP) problems embodying br...
Fred Glover