Sciweavers

4770 search results - page 364 / 954
» Flexible Type Analysis
Sort
View
APSEC
2008
IEEE
16 years 2 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
ICRA
2007
IEEE
102views Robotics» more  ICRA 2007»
16 years 1 months ago
On the Force Capabilities of Centripetal Force-actuated Microrobotic Platforms
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
P. Vartholomeos, Kostas Vlachos, Evangelos Papadop...
DGO
2007
174views Education» more  DGO 2007»
15 years 9 months ago
A bootstrapping approach for identifying stakeholders in public-comment corpora
A stakeholder is an individual, group, organization, or community that has an interest or stake in a consensus-building process. The goal of stakeholder identification is identify...
Jaime Arguello, Jamie Callan
222
Voted
TREC
2001
15 years 9 months ago
PiQASso: Pisa Question Answering System
PiQASso is a Question Answering system based on a combination of modern IR techniques and a series of semantic filters for selecting paragraphs containing a justifiable answer. Se...
Giuseppe Attardi, Antonio Cisternino, Francesco Fo...
ICIP
2001
IEEE
16 years 9 months ago
ICA-based probabilistic local appearance models
This paper proposes a novel image modeling scheme for object detection and localization. Object appearance is modeled by the joint distribution of k-tuple salient point feature ve...
Xiang Sean Zhou, Baback Moghaddam, Thomas S. Huang