Sciweavers

2610 search results - page 475 / 522
» The Recognition Strategy Language
Sort
View
TLCA
2005
Springer
14 years 3 months ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird
WAIM
2005
Springer
14 years 3 months ago
An Approach to RDF(S) Query, Manipulation and Inference on Databases
In order to lay a solid foundation for the emerging semantic web, effective and efficient management of large RDF(S) data is in high demand. In this paper we propose an approach t...
Jing Lu, Yong Yu, Kewei Tu, Chenxi Lin, Lei Zhang
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
14 years 3 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
IUI
2004
ACM
14 years 3 months ago
Speech and sketching for multimodal design
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
Aaron Adler, Randall Davis
ARGMAS
2004
Springer
14 years 3 months ago
An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
Marcela Capobianco, Carlos Iván Chesñ...