Sciweavers

17450 search results - page 149 / 3490
» Numerical Methods with Applications
Sort
View
WETICE
2005
IEEE
15 years 9 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
PAA
2008
15 years 3 months ago
Distance-based discriminant analysis method and its applications
This paper proposes a method of finding a discriminative linear transformation that enhances the data's degree of conformance to the compactness hypothesis and its inverse. Th...
Serhiy Kosinov, Thierry Pun
CATE
2004
190views Education» more  CATE 2004»
15 years 4 months ago
Enhancing Online Learning Performance: An Application of Data Mining Methods
Recently web-based educational systems collect vast amounts of data on user patterns, and data mining methods can be applied to these databases to discover interesting associations...
Behrouz Minaei-Bidgoli, Gerd Kortemeyer, William F...
FOCS
2009
IEEE
15 years 10 months ago
Extensions to the Method of Multiplicities, with Applications to Kakeya Sets and Mergers
We extend the “method of multiplicities” to get the following results, of interest in combinatorics and randomness extraction.
Zeev Dvir, Swastik Kopparty, Shubhangi Saraf, Madh...
ICRA
2009
IEEE
248views Robotics» more  ICRA 2009»
15 years 10 months ago
Comparison of surface normal estimation methods for range sensing applications
— As mobile robotics is gradually moving towards a level of semantic environment understanding, robust 3D object recognition plays an increasingly important role. One of the most...
Klaas Klasing, Daniel Althoff, Dirk Wollherr, Mart...