Sciweavers

4103 search results - page 467 / 821
» Some results on the Collatz problem
Sort
View
COR
2006
83views more  COR 2006»
15 years 6 months ago
Modelling and solving English Peg Solitaire
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
Christopher Jefferson, Angela Miguel, Ian Miguel, ...
CSJM
2006
124views more  CSJM 2006»
15 years 6 months ago
Text Classification Using Word-Based PPM Models
Text classification is one of the most actual among the natural language processing problems. In this paper the application of word-based PPM (Prediction by Partial Matching) mode...
Victoria Bobicev
CSSE
2006
IEEE
15 years 6 months ago
Agile PASSI: An agile process for designing agents
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
Antonio Chella, Massimo Cossentino, Luca Sabatucci...
IJISEC
2008
101views more  IJISEC 2008»
15 years 6 months ago
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
Alessandro Armando, Luca Compagna
CERA
2007
67views more  CERA 2007»
15 years 6 months ago
Engineered-to-order Approach for Providing Flexibility in e-Commerce of Mold Parts
: In the mold parts industry, customers typically place orders for order-made parts with some changes to the design specifications of ready-made parts within the extent of the manu...
Duhwan Mun, Kwangsub Jang, Soonhung Han, Junhwan K...