Sciweavers

1750 search results - page 89 / 350
» E-Commerce Development Procedure
Sort
View
ISCAS
2002
IEEE
123views Hardware» more  ISCAS 2002»
15 years 8 months ago
Blind electromagnetic source separation and localization
A blind source separation algorithm is used to estimate the mixing operator from electromagnetic emission signals through independent component analysis (ICA) technique. The mixin...
Simone Fiori, Pietro Burrascano
123
Voted
CA
2000
IEEE
15 years 8 months ago
Algorithms for Generating Motion Trajectories Described by Prepositions
A list of representative directional prepositions of the English language is investigated to develop computation models that output some general motion trajectory or goal directio...
Yilun Dianna Xu, Norman I. Badler
IPPS
1999
IEEE
15 years 7 months ago
Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
Takayuki Suyama, Makoto Yokoo, Akira Nagoya
ECOOPW
1999
Springer
15 years 7 months ago
Security Properties of Typed Applets
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
Xavier Leroy, François Rouaix
111
Voted
FOAL
2007
ACM
15 years 7 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn