Sciweavers

2714 search results - page 229 / 543
» On the Notion of Value Object
Sort
View
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
16 years 26 days ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
CSL
2007
Springer
16 years 23 days ago
Linear Realizability
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
Naohiko Hoshino
WEBI
2007
Springer
16 years 21 days ago
Semantic Convergence of Wikipedia Articles
Social networking, distributed problem solving and human computation have gained high visibility. Wikipedia is a well established service that incorporates aspects of these three ...
Christopher Thomas, Amit P. Sheth
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
16 years 19 days ago
Constrained Control for Surgical Assistant Robots
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
Ankur Kapoor, Ming Li, Russell H. Taylor
ITNG
2006
IEEE
16 years 18 days ago
Utilizing XML Schema for Describing and Querying Still Image Databases
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
Kazem Taghva, Min Xu, Emma Regentova, Tom Nartker