Sciweavers

6978 search results - page 1217 / 1396
» Reframing Requirements Analysis
Sort
View
95
Voted
PLDI
2010
ACM
15 years 3 months ago
Smooth interpretation
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
Swarat Chaudhuri, Armando Solar-Lezama
105
Voted
3DPVT
2002
IEEE
193views Visualization» more  3DPVT 2002»
15 years 3 months ago
Modeling shapes and textures from images: new frontiers
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
Luc J. Van Gool, D. Vandemeulen, Gregor A. Kalbere...
COOPIS
2002
IEEE
15 years 3 months ago
Discovering Emergent Virtual Work Processes in Collaborative Systems
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
Simeon J. Simoff, Robert P. Biuk-Aghai
69
Voted
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 3 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
89
Voted
STOC
2010
ACM
211views Algorithms» more  STOC 2010»
15 years 3 months ago
Distributed Computation in Dynamic Networks
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
Fabian Kuhn, Nancy Lynch and Rotem Oshman
« Prev « First page 1217 / 1396 Last » Next »