Sciweavers

11565 search results - page 372 / 2313
» Computing Minimal Mappings
Sort
View
163
Voted
IJCAI
2007
15 years 8 months ago
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation
In recent years, the combinatorics of argumentation with arguments that can attack each other has been studied extensively. Especially, attack graphs (put in the focus of attentio...
Bart Verheij
188
Voted
BNCOD
1998
165views Database» more  BNCOD 1998»
15 years 8 months ago
Component DBMS Architecture for Nomadic Computing
Current database management system technology is unable to provide adequate support for Nomadic Computing. Mobile applications require systems which are sufficiently lightweight an...
Julie A. McCann, J. S. Crane
MICCAI
2005
Springer
16 years 7 months ago
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning
Abstract. Percutaneous radiofrequency ablation has become a frequently used technique for the treatment of liver cancers, but still remains very difficult to plan. In this paper, w...
Caroline Villard, Claire Baegert, Pascal Schreck, ...
161
Voted
UC
2005
Springer
16 years 10 days ago
A Computational Model for Self-assembling Flexible Tiles
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
Natasa Jonoska, Gregory L. McColm
NMELP
1994
15 years 11 months ago
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
Carolina Ruiz, Jack Minker