10916 search results - page 201 / 2184 » On Constructive Connectives and Systems |
172
click to vote
SERP
2003
15 years 8 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
188
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
An analysis of steganographic systems subject to the following perfect undetectability condition is presented in this paper. Following embedding of the message into the covertext,...
185
Voted
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Keyword search and database query are two ways for retrieving data in real world settings. In this demonstration, we show SUITS, a novel search interface over relational databases ...
135
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
175
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...