1101 search results - page 119 / 221 » Forcing in proof theory |
143
click to vote
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
113
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper we analyze the role of Enterprise System (ES) in shaping a company’s transformation process by conducting an in-depth case study in a large European high-tech comp...
108
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper provides a reformulation of closed-loop systems that have negative imaginary frequency response to closed-loop systems that have bounded gain, so that theory and res...
113
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
How does “self-governance” happen in Wikipedia? Through in-depth interviews with eleven individuals who have held a variety of responsibilities in the English Wikipedia, we ob...
124
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...