5550 search results - page 689 / 1110 » Different Approaches to Proof Systems |
189
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
213
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
201
click to vote
BIB
2002
15 years 7 months ago
2002
The process of building a new database relevant to some field of study in biomedicine involves transforming, integrating, and cleansing multiple data sources, as well as adding ne...
221
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
205
click to vote
CACM
2000
15 years 7 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...