Sciweavers

2147 search results - page 339 / 430
» Teleological Software Adaptation
Sort
View
FMSD
2006
83views more  FMSD 2006»
13 years 8 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
SIAMIS
2008
116views more  SIAMIS 2008»
13 years 8 months ago
Quantitative Object Reconstruction Using Abel Transform X-Ray Tomography and Mixed Variable Optimization
This paper introduces a new approach to the problem of quantitative reconstruction of an object from few radiographic views. A mixed variable programming problem is formulated in ...
Mark A. Abramson, Thomas J. Asaki, J. E. Dennis, K...
AIM
1998
13 years 7 months ago
Computer Bridge - A Big Win for AI Planning
A computer program that uses AI planning techniques is now the world’s best program for the game of contract bridge. As reported in The New York Times and The Washington Post, t...
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
JNCA
2010
106views more  JNCA 2010»
13 years 6 months ago
A methodology for engineering collaborative and ad-hoc mobile applications using SyD middleware
Today’s web applications are more collaborative and are using the standard and ubiquitous Internet protocols. We have earlier developed System on Mobile Devices (SyD) middleware...
Praveen Madiraju, Srilaxmi Malladi, Janaka Balasoo...
JUCS
2010
135views more  JUCS 2010»
13 years 6 months ago
A Service-Oriented Platform for Ubiquitous Personalized Multimedia Provisioning
: As multimedia contents are becoming widely used in ubiquitous computing environments among many application fields, e.g., education, entertainment, and live surveillance, the dem...
Zhiwen Yu, Changde Li, Xingshe Zhou, Haipeng Wang