Sciweavers

13500 search results - page 260 / 2700
» Improved analysis of D
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
ATAL
2008
Springer
15 years 8 months ago
Combining Job and Team Selection Heuristics
In open markets and within business and government organizations, selfish agents often face the question of what tasks to work on, and what partners to work with. Optimal solutions...
Chris L. D. Jones, K. Suzanne Barber
EON
2007
15 years 8 months ago
Characterizing Knowledge on the Semantic Web with Watson
Abstract. Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online with the objective of supporting their dy...
Mathieu d'Aquin, Claudio Baldassarre, Laurian Grid...
WSC
1998
15 years 8 months ago
Developing a Simulation Strategy for British Airways OR
Many organisations have seen the use of simulation evolve, often in something of a piecemeal fashion. This may lead to some deficiencies in the way that simulation is employed. Th...
Stewart Robinson, Mark D. Stanger
BILDMED
2009
179views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Interpolation of Histological Slices by Means of Non-rigid Registration
It is a common approach to create and inspect histological slices to investigate functional and morphological structures on a cellular level. For the easier analysis of the resulti...
Simone Gaffling, Florian Jäger, Volker Daum, ...