1101 search results - page 119 / 221 » Forcing in proof theory |
111
click to vote
ICFCA
2004
Springer
15 years 6 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...
92
Voted
HICSS
2010
IEEE
15 years 7 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...
84
Voted
CDC
2008
IEEE
15 years 7 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...
HICSS
2008
IEEE
15 years 7 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...
95
Voted
ICRA
2006
IEEE
15 years 6 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...