Sciweavers

1211 search results - page 136 / 243
» Computing Manipulations of Ranking Systems
Sort
View
LAWEB
2009
IEEE
14 years 4 months ago
An Architecture for Finding Entities on the Web
Abstract—Recent progress in research fields such as Information Extraction and Information Retrieval enables the creation of systems providing better search experiences to web u...
Gianluca Demartini, Claudiu S. Firan, Mihai George...
VMCAI
2007
Springer
14 years 4 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
ICCS
2003
Springer
14 years 3 months ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
MICCAI
2001
Springer
14 years 2 months ago
Optimal Port Placement in Robot-Assisted Coronary Artery Bypass Grafting
A computer-based algorithm is being developed which, using preoperative images, provides the surgeon with a list of feasible port triplets ranked according to tool dexterity and en...
Shaun Selha, Pierre E. Dupont, Robert D. Howe, Dav...
ICCD
1999
IEEE
130views Hardware» more  ICCD 1999»
14 years 2 months ago
Preference-Driven Hierarchical Hardware/Software Partitioning
In this paper, we present a hierarchical evolutionary approach to hardware/software partitioning for real-time embedded systems. In contrast to most of previous approaches, we app...
Gang Quan, Xiaobo Hu, Garrison W. Greenwood