Sciweavers

332 search results - page 55 / 67
» Enhancing Object-Oriented Modeling with Concepts to
Sort
View
JAR
2011
112views more  JAR 2011»
13 years 2 months ago
A Framework for Certified Boolean Branch-and-Bound Optimization
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...
CE
2008
122views more  CE 2008»
13 years 7 months ago
Ubiquitous learning website: Scaffold learners by mobile devices with information-aware techniques
The portability and immediate communication properties of mobile devices influence the learning processes in interacting with peers, accessing resources and transferring data. For...
G. D. Chen, C. K. Chang, C. Y. Wang
MICCAI
2006
Springer
14 years 8 months ago
Extrapolating Tumor Invasion Margins for Physiologically Determined Radiotherapy Regions
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...
Ender Konukoglu, Olivier Clatz, Pierre-Yves Bondia...
SCALESPACE
2009
Springer
14 years 1 months ago
PDE-Driven Adaptive Morphology for Matrix Fields
Matrix fields are important in many applications since they are the adequate means to describe anisotropic behaviour in image processing models and physical measurements. A promin...
Bernhard Burgeth, Michael Breuß, Luis Pizarr...
ICC
2007
IEEE
162views Communications» more  ICC 2007»
14 years 1 months ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...