Sciweavers

3605 search results - page 312 / 721
» Associated types with class
Sort
View
KR
2004
Springer
16 years 24 days ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
DATE
2003
IEEE
132views Hardware» more  DATE 2003»
16 years 22 days ago
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupt...
CP
2003
Springer
16 years 20 days ago
An Algebraic Approach to Multi-sorted Constraints
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
Andrei A. Bulatov, Peter Jeavons
222
Voted
INFOCOM
2002
IEEE
16 years 11 days ago
Constraint-based path selection methods for on-demand provisioning in WDM networks
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...
Admela Jukan, Gerald Franzl
233
Voted
WMTE
2002
IEEE
16 years 10 days ago
Applying Wireless Technologies to Build a Highly Interactive Learning Environment
This study tries to apply wireless technologies to build a highly interactive environment. For this purpose, this study first identifies four types of interaction between the memb...
Tzu-Chien Liu, Hsue-Yie Wang, Jen-Kai Liang, Tak-W...