2909 search results - page 390 / 582 » Consistency of the theory of contexts |
157
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
160
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...
135
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
194
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
157
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
The user expectations for usability and personalization along with decreasing size of handheld devices challenge traditional keypad layout design. We have developed a method for o...