14642 search results - page 2776 / 2929 » It's Time for a Change |
191
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
171
click to vote
GLOBECOM
2007
IEEE
16 years 22 days ago
2007
IEEE
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
191
click to vote
AINTEC
2007
Springer
16 years 20 days ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
185
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
176
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
The Supply Chain Trading Agent Competition (TAC SCM) was designed to explore approaches to dynamic supply chain trading. During the course of each year’s competition historical d...