Sciweavers

734 search results - page 97 / 147
» Design and implementation of expressive footwear
Sort
View
AAAI
1994
13 years 9 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
SIGCOMM
2010
ACM
13 years 7 months ago
Scalable flow-based networking with DIFANE
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...
Minlan Yu, Jennifer Rexford, Michael J. Freedman, ...
JSW
2008
130views more  JSW 2008»
13 years 7 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
NRHM
2008
106views more  NRHM 2008»
13 years 7 months ago
Towards the unification of formats for overlapping markup
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
IJCSS
2007
133views more  IJCSS 2007»
13 years 7 months ago
Synthesis of Read-Once Digital Hardware with Reduced Energy Delay Product
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
P. Balasubramanian, S. Theja