4636 search results - page 628 / 928 » Modelling and Validation with VipTool |
202
Voted
DATE
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
158
Voted
ICRA
2002
IEEE
16 years 11 days ago
2002
IEEE
Abstract—In this paper, we present a new solution to laparoscopic manipulation based on forcefeedback control. This method allows us to both explicitely control the forces applie...
181
Voted
TIME
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
239
click to vote
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
16 years 6 days ago
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
178
Voted
CDC
2009
IEEE
16 years 4 days ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...