Sciweavers

3161 search results - page 280 / 633
» Documenting framework behavior
Sort
View
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
Game Theory with Costly Computation
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
Joseph Y. Halpern, Rafael Pass
SQJ
2008
94views more  SQJ 2008»
15 years 6 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
ICML
2009
IEEE
16 years 7 months ago
Partial order embedding with multiple kernels
We consider the problem of embedding arbitrary objects (e.g., images, audio, documents) into Euclidean space subject to a partial order over pairwise distances. Partial order cons...
Brian McFee, Gert R. G. Lanckriet
ICFP
2007
ACM
16 years 6 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
MM
2005
ACM
110views Multimedia» more  MM 2005»
16 years 9 days ago
JADE: jabber-based authoring in distributed environments
We present our initial results in developing a framework for collaborative multimedia authoring tools. This research is motivated by the lack of tools that take into account consu...
Andrew Roczniak, Abdulmotaleb El-Saddik