Sciweavers

7080 search results - page 1156 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
15 years 10 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
AAAI
2008
15 years 6 months ago
Structure Learning on Large Scale Common Sense Statistical Models of Human State
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
William Pentney, Matthai Philipose, Jeff A. Bilmes
EJIS
2007
88views more  EJIS 2007»
15 years 4 months ago
A programme management approach for ensuring curriculum coherence in IS (higher) education
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
Tally Hatzakis, Mark Lycett, Alan Serrano
DSD
2002
IEEE
96views Hardware» more  DSD 2002»
15 years 9 months ago
Networks on Silicon: Blessing or Nightmare?
Continuing VLSI technology scaling raises several deep submicron (DSM) problems like relatively slow interconnect, power dissipation and distribution, and signal integrity. Those ...
Paul Wielage, Kees G. W. Goossens
MM
2006
ACM
157views Multimedia» more  MM 2006»
15 years 10 months ago
Cyborglogging with camera phones: steps toward equiveillance
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
Steve Mann, James Fung, Raymond Lo
« Prev « First page 1156 / 1416 Last » Next »