Sciweavers

14190 search results - page 286 / 2838
» Abstractions for hybrid systems
Sort
View
SIGIR
2004
ACM
16 years 4 days ago
Multiple sources of evidence for XML retrieval
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
ISCAS
2008
IEEE
140views Hardware» more  ISCAS 2008»
16 years 1 months ago
On the three-dimensional orthogonal drawing of series-parallel graphs (extended abstract)
arallel Graphs (Extended Abstract) Satoshi Tayu, Kumiko Nomura, and Shuichi Ueno Department of Communications and Integrated Systems, Tokyo Institute of Technology, Tokyo 152-8550-...
Satoshi Tayu, Kumiko Nomura, Shuichi Ueno
TACS
1997
Springer
15 years 11 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
APPML
2007
75views more  APPML 2007»
15 years 6 months ago
Analysis of substructuring preconditioners for mortar methods in an abstract framework
framework Silvia Bertoluzza∗, Micol Pennacchio Istituto di Matematica Applicata e Tecnologie Informatiche del C.N.R., v. Ferrata 1, 27100 Pavia, Italy Received 16 February 2006; ...
Silvia Bertoluzza, Micol Pennacchio
CACM
2007
164views more  CACM 2007»
15 years 6 months ago
Is abstraction the key to computing?
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
Jeff Kramer