Sciweavers

5465 search results - page 227 / 1093
» Assigning Types to Processes
Sort
View
112
Voted
DAC
2008
ACM
16 years 4 months ago
TuneFPGA: post-silicon tuning of dual-Vdd FPGAs
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. We study an FPGA architecture with a dual voltage s...
Stephen Bijansky, Adnan Aziz
122
Voted
FOAL
2009
ACM
15 years 7 months ago
Graph-based specification and simulation of featherweight Java with around advice
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
Tom Staijen, Arend Rensink
BMVC
2001
15 years 6 months ago
An Adaptive Potential for Robust Shape Estimation
This paper describes an algorithm for shape estimation in cluttered scenes. A new image potential is defined based on strokes detected in the image. The motivation is simple. Fea...
Jacinto C. Nascimento, Jorge S. Marques
138
Voted
BMCBI
2007
166views more  BMCBI 2007»
15 years 3 months ago
Optimization of filtering criterion for SEQUEST database searching to improve proteome coverage in shotgun proteomics
Background: In proteomic analysis, MS/MS spectra acquired by mass spectrometer are assigned to peptides by database searching algorithms such as SEQUEST. The assignations of pepti...
Xinning Jiang, Xiaogang Jiang, Guanghui Han, Mingl...
ECAI
2006
Springer
15 years 7 months ago
Programming Agents with Emotions
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
Mehdi Dastani, John-Jules Ch. Meyer