Sciweavers

8141 search results - page 422 / 1629
» Higher Order Generalization
Sort
View
SIGUCCS
2003
ACM
16 years 2 days ago
The technology learning center (TLC): a comprehensive learning environment for students
As technology becomes more pervasive in our lives, and continues to change rapidly, it is essential for college students to have opportunities to improve their computer abilities ...
Sheree Kornkven
ECAI
2000
Springer
15 years 11 months ago
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
Ari K. Jónsson, Jeremy Frank
MICRO
1999
IEEE
110views Hardware» more  MICRO 1999»
15 years 11 months ago
Balance Scheduling: Weighting Branch Tradeoffs in Superblocks
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...
Alexandre E. Eichenberger, Waleed Meleis
CDB
1997
Springer
85views Database» more  CDB 1997»
15 years 11 months ago
On Expressing Topological Connectivity in Spatial Datalog
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
Bart Kuijpers, Marc Smits
CSFW
2004
IEEE
15 years 10 months ago
Modelling Downgrading in Information Flow Security
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi