Sciweavers

2272 search results - page 166 / 455
» Validity Invariants and Effects
Sort
View
ESEM
2007
ACM
14 years 2 months ago
Characterizing Software Architecture Changes: An Initial Study
With today's ever increasing demands on software, developers must produce software that can be changed without the risk of degrading the software architecture. Degraded softw...
Byron J. Williams, Jeffrey C. Carver
EURODAC
1995
IEEE
182views VHDL» more  EURODAC 1995»
14 years 1 months ago
Delay modelling improvement for low voltage applications
Based on an explicit formulation of delays, an improved model for low voltage operation of CMOS inverter has been derived. Extrinsic and intrinsic effects, such as transistor curr...
Jean Michel Daga, Michel Robert, Daniel Auvergne
AIED
2009
Springer
14 years 1 months ago
Modeling Helping Behavior in an Intelligent Tutor for Peer Tutoring
Giving effective help is an important collaborative skill that leads to improved learning for both the help-giver and help-receiver. Adding intelligent tutoring to student interact...
Erin Walker, Nikol Rummel, Kenneth R. Koedinger
DIS
2008
Springer
14 years 2 days ago
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees
Decision trees are among the most effective and interpretable classification algorithms while ensembles techniques have been proven to alleviate problems regarding over-fitting and...
Albrecht Zimmermann
ECAI
2008
Springer
14 years 2 days ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...