3481 search results - page 362 / 697 » Exploration in Relational Worlds |
166
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
126
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Delta hedging, although widely used in commodity markets, needs to be further adapted to electricity markets. Given the extreme volatility of electricity prices, even a portfolio...
147
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— An orientation model provides an analytical means for describing fingerprint ridge orientations. It can help in data storage and recovery as well as other possible communicati...
184
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
206
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...