Sciweavers

882 search results - page 106 / 177
» A Sampling Method Focusing on Practicality
Sort
View
IJCAI
2001
13 years 10 months ago
Leveraging Data About Users in General in the Learning of Individual User Models
Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
Anthony Jameson, Frank Wittig
WCE
2007
13 years 10 months ago
Reconstruction of 3D Solid Models Using Fuzzy Logic Recognition
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
Zhe Wang, Mohammed Latif
AC
2005
Springer
13 years 8 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
IS
2007
13 years 8 months ago
Security Attack Testing (SAT) - testing the security of information systems at design time
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
Haralambos Mouratidis, Paolo Giorgini
WABI
2010
Springer
143views Bioinformatics» more  WABI 2010»
13 years 7 months ago
Swiftly Computing Center Strings
The center string (or closest string) problem is a classical computer science problem with important applications in computational biology. Given k input strings and a distance thr...
Franziska Hufsky, Léon Kuchenbecker, Kathar...