Sciweavers

8699 search results - page 292 / 1740
» Elements of the Theory of Computation
Sort
View
JSYML
2008
105views more  JSYML 2008»
15 years 6 months ago
Finite state automata and monadic definability of singular cardinals
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
Itay Neeman
JUCS
2007
86views more  JUCS 2007»
15 years 6 months ago
Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...
Erla Morales Morgado, Francisco José Garc&i...
TEI
2010
ACM
115views Hardware» more  TEI 2010»
16 years 1 months ago
Electronic popables: exploring paper-based computing through an interactive pop-up book
We have developed an interactive pop-up book called Electronic Popables to explore paper-based computing. Our book integrates traditional pop-up mechanisms with thin, flexible, pa...
Jie Qi, Leah Buechley
IFIP
2009
Springer
16 years 1 months ago
A Distributed Exact Solution to Compute Inter-domain Multi-constrained Paths
The fundamental Quality of Service (QoS) routing problem, which consists in determining paths subject to multiple QoS constraints, has been extensively investigated in the intra-do...
Gilles Bertrand, Samer Lahoud, Géraldine Te...
GLOBECOM
2007
IEEE
16 years 1 months ago
Joint Computation and Communication Scheduling to Enable Rich Mobile Applications
Abstract—Increasing interest in sensor networking and ubiquitous computing has created a trend towards embedding more and more intelligence into our surroundings. This enables th...
Shoubhik Mukhopadhyay, Curt Schurgers, Sujit Dey