4573 search results - page 776 / 915 » Automated Reasoning |
134
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...
139
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
148
click to vote
DEBU
2002
15 years 3 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
133
click to vote
PUC
2007
15 years 2 months ago
2007
Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
106
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...