Sciweavers

118 search results - page 18 / 24
» Towards Abstract Categorial Grammars
Sort
View
PLDI
2009
ACM
14 years 7 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...
DAC
2007
ACM
13 years 10 months ago
Synthetic biology: from bacteria to stem cells
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
Ron Weiss
MICCAI
2007
Springer
14 years 7 months ago
Active-Contour-Based Image Segmentation Using Machine Learning Techniques
Abstract. We introduce a non-linear shape prior for the deformable model framework that we learn from a set of shape samples using recent manifold learning techniques. We model a c...
Patrick Etyngier, Florent Ségonne, Renaud K...
ATAL
2008
Springer
13 years 8 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
13 years 6 months ago
Computing and higher education in Peru
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
Marco A. Alvarez, José Baiocchi, José...