1573 search results - page 52 / 315 » Signs and Formal Concepts |
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
ICIW
2007
IEEE
13 years 10 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper presents an advanced animation framework for virtual character within the MPEG-4 standard. The Bonebased Animation (BBA) specifications are described and it is shown ho...