7213 search results - page 326 / 1443 » Automated model grouping |
149
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
Electrical Modeling for High Bandwidth IO Link Chirayu Amin, Chandramouli Kashyap ¬ Intel Corp., Hillsboro, OR Prateek Bhansali ¬ Univ. of Minnesota, Mi...
180
Voted
ICALT
2006
IEEE
16 years 24 days ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
201
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
133
click to vote
EOR
2002
15 years 6 months ago
2002
This article constructs a foundation for warfare at the individual level, where agents in two groups fire and absorb shots according to a non-stationary Poisson process. We determ...
159
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...