Sciweavers

2725 search results - page 240 / 545
» A framework for P2P application development
Sort
View
COLCOM
2007
IEEE
15 years 6 months ago
Using context to assist the adaptation of protected multimedia content in virtual collaboration applications
—This paper proposes a framework for a virtual classroom application based on a Virtual Collaboration System (VCS), which is being developed under the VISNET II Network of Excell...
Maria Teresa Andrade, Hemantha Kodikara Arachchi, ...
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
15 years 2 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
162
Voted
CP
2000
Springer
15 years 9 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth
146
Voted
HICSS
2010
IEEE
192views Biometrics» more  HICSS 2010»
15 years 5 months ago
Benefits of Enterprise Systems Use
Realizing business value and identifying the benefits arising from implementations of enterprise systems remains a significant challenge for both research and practice. A review o...
Susan P. Williams, Petra Schubert
JIIS
2007
154views more  JIIS 2007»
15 years 4 months ago
Constraint-based sequential pattern mining: the pattern-growth methods
Constraints are essential for many sequential pattern mining applications. However, there is no systematic study on constraint-based sequential pattern mining. In this paper, we in...
Jian Pei, Jiawei Han, Wei Wang