Sciweavers

1552 search results - page 152 / 311
» Concepts and Concept-Oriented Programming
Sort
View
FUZZIEEE
2007
IEEE
14 years 4 months ago
A Fuzzy Description Logic with Product T-norm
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
Fernando Bobillo, Umberto Straccia
ICTAI
2007
IEEE
14 years 4 months ago
CompoNet: Programmatically Embedding Neural Networks into AI Applications as Software Components
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...
VL
2007
IEEE
111views Visual Languages» more  VL 2007»
14 years 4 months ago
On to the Real World: Gender and Self-Efficacy in Excel
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...
Laura Beckwith, Derek Inman, Kyle Rector, Margaret...
APPT
2007
Springer
14 years 4 months ago
Domain Level Page Sharing in Xen Virtual Machine Systems
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
Myeongjae Jeon, Euiseong Seo, Junghyun Kim, Joonwo...
CAV
2007
Springer
118views Hardware» more  CAV 2007»
14 years 4 months ago
Local Proofs for Global Safety Properties
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
Ariel Cohen 0002, Kedar S. Namjoshi