1581 search results - page 193 / 317 » Mechanizing Inductive Reasoning |
139
click to vote
DSD
2006
IEEE
16 years 11 days ago
2006
IEEE
— An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this regi...
192
click to vote
SKG
2006
IEEE
16 years 10 days ago
2006
IEEE
The Grid provides mechanisms to share dynamic, heterogeneous, distributed resources spanned across multiple administrative domains. Resources required to execute a job are identif...
160
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
180
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
181
click to vote
KIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...