Sciweavers

1945 search results - page 298 / 389
» Speeding up Serpent
Sort
View
AIML
2008
15 years 22 days ago
Labelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
Guido Governatori
BILDMED
2007
107views Algorithms» more  BILDMED 2007»
15 years 22 days ago
Interactive Guidance System for C-Arm Repositioning Without Radiation
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...
Tassilo Klein, Selim Benhimane, Jörg Traub, S...
DAGSTUHL
2010
15 years 22 days ago
Generalized Swap Operation for Tetrahedrizations
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
Burkhard Lehner, Bernd Hamann, Georg Umlauf
DAGSTUHL
2007
15 years 22 days ago
An analytic solution to the alibi query in the bead model for moving object data
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
Bart Kuijpers, Walied Othman
LREC
2010
142views Education» more  LREC 2010»
15 years 22 days ago
Partial Parsing as a Method to Expedite Dependency Annotation of a Hindi Treebank
The paper describes an approach to expedite the process of manual annotation of a Hindi dependency treebank which is currently under development. We propose a way by which consist...
Mridul Gupta, Vineet Yadav, Samar Husain, Dipti Mi...