Sciweavers

502 search results - page 82 / 101
» Development and Application of a Formal Agent Framework
Sort
View
JACM
2010
137views more  JACM 2010»
15 years 2 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 10 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
COMPULOG
1999
Springer
15 years 8 months ago
Dynamic Constraint Models for Planning and Scheduling Problems
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...
Roman Barták
IVA
2010
Springer
15 years 2 months ago
Designing an Expressive Avatar of a Real Person
Abstract. The human ability to express and recognize emotions plays an important role in face-to-face communication, and as technology advances it will be increasingly important fo...
Sangyoon Lee, Gordon Carlson, Steve Jones, Andrew ...
AAAI
2012
13 years 6 months ago
Towards Discovering What Patterns Trigger What Labels
In many real applications, especially those involving data objects with complicated semantics, it is generally desirable to discover the relation between patterns in the input spa...
Yu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou