Sciweavers

3568 search results - page 144 / 714
» Type Analysis for JavaScript
Sort
View
ICDM
2006
IEEE
173views Data Mining» more  ICDM 2006»
14 years 3 months ago
Trajectory Analysis for Soccer Players
In order to make good strategies, soccer coaches analyze the archives of matches, which can be effectively considered as a set of trajectories. We can extract several useful infor...
Chan-Hyun Kang, Jung-Rae Hwang, Ki-Joune Li
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
14 years 3 months ago
Static Analysis of Contact Forces with a Mobile Manipulator
— Most mobile robots in existence today have large, heavy, statically stable bases. To enable manipulation, actuated arms and effectors are attached to the base providing limited...
Bryan J. Thibodeau, Patrick Deegan, Roderic A. Gru...
SCAM
2005
IEEE
14 years 2 months ago
Static Analysis for Computing Escapability and Mutability for Java Components
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
Aiwu Shi, Gleb Naumovich
ACIVS
2005
Springer
14 years 2 months ago
A Likelihood Ratio Test for Functional MRI Data Analysis to Account for Colored Noise
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
Jan Sijbers, Arnold Jan den Dekker, Robert Bos
SPC
2005
Springer
14 years 2 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...