Sciweavers

141 search results - page 15 / 29
» Another Look at PMAC
Sort
View
BIRTHDAY
2006
Springer
15 years 3 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
ICSE
2000
IEEE-ACM
15 years 3 months ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
C3S2E
2008
ACM
15 years 1 months ago
Revisiting 2DR-tree insertion
We take another look at the 2DR-tree. In particular, we revisit its node structure, validity rules and the insertion strategy. The 2DR-tree uses 2D nodes so that the relationships...
Marc Moreau, Wendy Osborn
BIOCOMP
2006
15 years 1 months ago
An Approach to Selecting Putative RNA Motifs Using MDL Principle
The history of molecular biology is punctuated by a series of discoveries demonstrating the surprising breadth of biological roles of ribonucleic acid (RNA). An ensemble of evoluti...
Mohammad Anwar, Marcel Turcotte
IWEC
2004
15 years 1 months ago
Commedia Virtuale: Theatre Inspiration for Expressive Avatars
We are investigating face, hand and body expressions to be applied to avatars of a virtual environment to improve their communication capabilities and enrich and facilitate their p...
Ben Salem