2663 search results - page 248 / 533 » How to Choose a Timing Model |
142
click to vote
ICETE
2004
15 years 5 months ago
2004
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
211
click to vote
COR
2011
14 years 11 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
141
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
102
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
180
click to vote
NFM
2011
14 years 11 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...