2196 search results - page 4 / 440 » Practical Reasoning Using Values |
HICSS
2009
IEEE
14 years 26 days ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
ARGMAS
2008
Springer
13 years 8 months ago
2008
Springer
In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual ...
ICDE
2010
IEEE
14 years 28 days ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
MM
2009
ACM
14 years 16 days ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
VLDB
2007
ACM
14 years 6 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...