Sciweavers

16430 search results - page 711 / 3286
» On Computable Tree Functions
Sort
View
ICSE
2007
IEEE-ACM
16 years 7 months ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
PERCOM
2007
ACM
16 years 7 months ago
Physically Unclonable Function-Based Security and Privacy in RFID Systems
Radio Frequency Identification (RFID) is an increasingly popular technology that uses radio signals for object identification. Tracking and authentication in RFID tags have raised...
Leonid Bolotnyy, Gabriel Robins
ICASSP
2008
IEEE
16 years 1 months ago
Functional semi-automated segmentation of renal DCE-MRI sequences
In dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI), segmentation of internal kidney structures like cortex, medulla and pelvo-caliceal cavities is necessary for fun...
Beatrice Chevaillier, Yannick Ponvianne, Jean-Luc ...
ECSQARU
2007
Springer
16 years 1 months ago
Forward-Backward-Viterbi Procedures in the Transferable Belief Model for State Sequence Analysis Using Belief Functions
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
Emmanuel Ramasso, Michèle Rombaut, Denis Pe...
ATAL
2004
Springer
16 years 21 days ago
Fitting and Compilation of Multiagent Models through Piecewise Linear Functions
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
David V. Pynadath, Stacy Marsella