Sciweavers

1086 search results - page 96 / 218
» A Probabilistic Model for Software Projects
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
13 years 8 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
ECMDAFA
2007
Springer
108views Hardware» more  ECMDAFA 2007»
14 years 2 months ago
An Algebraic View on the Semantics of Model Composition
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, ...
IJCV
2010
152views more  IJCV 2010»
13 years 6 months ago
Learning Articulated Structure and Motion
Humans demonstrate a remarkable ability to parse complicated motion sequences into their constituent structures and motions. We investigate this problem, attempting to learn the st...
David A. Ross, Daniel Tarlow, Richard S. Zemel
QOSA
2007
Springer
14 years 2 months ago
Reusable Architectural Decision Models for Enterprise Application Development
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
Olaf Zimmermann, Thomas Gschwind, Jochen Malte K&u...
SPAA
2009
ACM
14 years 8 months ago
On randomized representations of graphs using short labels
Informative labeling schemes consist in labeling the nodes of graphs so that queries regarding any two nodes (e.g., are the two nodes adjacent?) can be answered by inspecting mere...
Pierre Fraigniaud, Amos Korman