Sciweavers

2912 search results - page 441 / 583
» A Study of Collaboration in Software Design
Sort
View
AVI
2006
13 years 10 months ago
Distributed intelligence: extending the power of the unaided, individual human mind
The history of the human race is one of increasing intellectual capability. Since the time of our early ancestors, our brains have gotten no bigger; nevertheless, there has been a...
Gerhard Fischer
AC
1999
Springer
13 years 9 months ago
Architectures and patterns for developing high performance real-time ORB endsystems
Many types of applications can benefit from flexible and open middleware. CORBA is an emerging middleware standard for Object Request Brokers (ORBs) that simplifies the developmen...
Douglas C. Schmidt, David L. Levine, Chris Clevela...
CAV
2012
Springer
227views Hardware» more  CAV 2012»
11 years 11 months ago
Minimum Satisfying Assignments for SMT
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, A...
IUI
2005
ACM
14 years 2 months ago
A location representation for generating descriptive walking directions
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
Gary Look, Buddhika Kottahachchi, Robert Laddaga, ...
MM
2005
ACM
143views Multimedia» more  MM 2005»
14 years 2 months ago
An adaptation framework for new media artworks
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
Anis Ouali, Brigitte Kerhervé, Paul Landon