Sciweavers

1750 search results - page 77 / 350
» E-Commerce Development Procedure
Sort
View
135
Voted
CSREASAM
2003
15 years 4 months ago
KDD Feature Set Complaint Heuristic Rules for R2L Attack Detection
Automated rule induction procedures like machine learning and statistical techniques result in rules that lack generalization and maintainability. Developing rules manually throug...
Maheshkumar Sabhnani, Gürsel Serpen
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 3 months ago
Detecting Ontological Conflicts in Protocols between Semantic Web Services
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
Priyankar Ghosh, Pallab Dasgupta
112
Voted
CE
2007
99views more  CE 2007»
15 years 3 months ago
Contextual learning theory: Concrete form and a software prototype to improve early education
In Ôcontextual learning theoryÕ three types of contextual conditions (differentiation of learning procedures and materials, integrated ICT support, and improvement of developme...
Ton Mooij
107
Voted
POPL
2012
ACM
13 years 11 months ago
Recursive proofs for inductive tree data-structures
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Ste...
174
Voted
CVPR
2012
IEEE
13 years 6 months ago
Road network extraction from airborne LiDAR data using scene context
We presented a novel procedure to extract ground road networks from airborne LiDAR data. First point clouds were separated into ground and non-ground parts, and ground roads were ...
Jiaping Zhao, Suya You