Sciweavers

5353 search results - page 712 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 4 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
HRI
2010
ACM
16 years 2 months ago
Robust spoken instruction understanding for HRI
—Natural human-robot interaction requires different and more robust models of language understanding (NLU) than non-embodied NLU systems. In particular, architectures are require...
Rehj Cantrell, Matthias Scheutz, Paul W. Schermerh...
FOSSACS
2010
Springer
16 years 2 months ago
Solvability in Resource Lambda-Calculus
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
Michele Pagani, Simona Ronchi Della Rocca
EVOW
2009
Springer
16 years 2 months ago
Filterscape: Energy Recycling in a Creative Ecosystem
Abstract. This paper extends previous work in evolutionary ecosystemic approaches to generative art. Filterscape, adopts the implicit fitness specification that is fundamental to...
Alice C. Eldridge, Alan Dorin
178
Voted
ICSE
2009
IEEE-ACM
16 years 2 months ago
Predicting defects in SAP Java code: An experience report
Which components of a large software system are the most defect-prone? In a study on a large SAP Java system, we evaluated and compared a number of defect predictors, based on cod...
Tilman Holschuh, Markus Pauser, Kim Herzig, Thomas...