1536 search results - page 179 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
COOPIS
2003
IEEE
14 years 3 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a low cost real-time alternative to available commercial human motion capture systems. First, a set of distinguishable markers are placed on several human body...
IH
1999
Springer
14 years 2 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...
CIRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...