9443 search results - page 1587 / 1889 » Web-centric language models |
155
click to vote
APLAS
2005
ACM
16 years 7 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
177
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
155
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
176
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
126
click to vote
CIE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...