1363 search results - page 90 / 273 » On some Relations between Dynamical Systems and Transition S... |
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
113
click to vote
SCP
1998
14 years 9 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
ICDM
2002
IEEE
15 years 2 months ago
2002
IEEE
Automatic classification of web pages is an effective way to deal with the difficulty of retrieving information from the Internet. Although there are many automatic classification...
100
click to vote
UTP
2010
14 years 8 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
ACCV
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a method of mirror localization to calibrate a catadioptric imaging system. While the calibration of a catadioptric system includes the estimation of various p...