Sciweavers

2478 search results - page 97 / 496
» Universality in two dimensions
Sort
View
SIGUCCS
2000
ACM
15 years 9 months ago
Developing Partnerships to Combat the "Digital Divide"
The University of Maryland has recently begun a partnership with Byte Back, a computer skills training program for unemployed and underemployed persons in the Washington, D.C. are...
Gina M. Jones, Sonja Kueppers
CLA
2007
15 years 7 months ago
A Proposal of Description Logic on Concept Lattices
There are two major formalisms that are developed around concepts: (1) Formal Concept Analysis (FCA) by R. Wille and B. Ganter, and (2) Description Logic (DL) that goes back to the...
Nikolay Shilov, Sang-Yong Han
APAL
2010
96views more  APAL 2010»
15 years 6 months ago
Light Dialectica revisited
We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An...
Mircea-Dan Hernest, Trifon Trifonov
JSS
2007
67views more  JSS 2007»
15 years 6 months ago
Impact and contributions of MBASE on software engineering graduate courses
As the founding Director of the Center for Software Engineering, Professor Barry Boehm developed courses that have greatly impacted the education of software engineering students....
Ricardo Valerdi, Raymond J. Madachy
AGI
2011
14 years 10 months ago
An Information Theoretic Representation of Agent Dynamics as Set Intersections
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
Samuel Epstein, Margrit Betke