Sciweavers

4328 search results - page 209 / 866
» A New Kind of Science
Sort
View
JCDL
2005
ACM
86views Education» more  JCDL 2005»
16 years 8 days ago
From playful exhibits to LOM: lessons from building an exploratorium digital library
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
Holly Fait, Sherry Hsi
GI
2009
Springer
15 years 11 months ago
Tokenized Interaction Architecture
: Out-of-Home (OOH) advertising is currently advancing into a new era: “pervasive advertising” is one of the buzz words describing a soft change from the traditional push-only ...
Boxian Dong, Bernhard Wally, Alois Ferscha
FOCS
1992
IEEE
15 years 10 months ago
Efficient Inference of Partial Types
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
Dexter Kozen, Jens Palsberg, Michael I. Schwartzba...
COCO
1990
Springer
50views Algorithms» more  COCO 1990»
15 years 10 months ago
Width-Bounded Reducibility and Binary Search over Complexity Classes
d Abstract) Eric Allender Christopher Wilson Department of Computer Science Department of Computer Rutgers University and Information Science New Brunswick, NJ 08903, USA Universit...
Eric Allender, Christopher B. Wilson
WG
1995
Springer
15 years 10 months ago
Modular Decomposition of Hypergraphs
We propose an O(n4) algorithm to build the modular decomposition tree of hypergraphs of dimension 3 and show how this algorithm can be generalized to compute in O(n3k−5) time th...
Paola Bonizzoni, Gianluca Della Vedova