Sciweavers

4670 search results - page 374 / 934
» Toward meaningful computing
Sort
View
157
Voted
AAAI
2008
15 years 9 months ago
Horn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
Marina Langlois, Robert H. Sloan, Balázs Sz...
143
Voted
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
191
Voted
IIE
2006
130views more  IIE 2006»
15 years 6 months ago
A Study on the Perception of Students towards Educational Weblogs
Weblogs are a popular form of easy-to-use personal publishing that has attracted millions of bloggers to share their personal thoughts, opinions, and knowledge on the web. The vers...
Andrew K. Lui, Sheung-On Choy, Yannie H. Y. Cheung...
NETWORK
2008
106views more  NETWORK 2008»
15 years 6 months ago
Toward internet-wide multipath routing
The Internet would be more efficient and robust if routers could flexibly divide traffic over multiple paths. Often, having one or two extra paths is sufficient for customizing pa...
Jiayue He, Jennifer Rexford
FPL
2010
Springer
148views Hardware» more  FPL 2010»
15 years 4 months ago
FEM: A Step Towards a Common Memory Layout for FPGA Based Accelerators
FPGA devices are mostly utilized for customized application designs with heavily pipelined and aggressively parallel computations. However, little focus is normally given to the FP...
Muhammad Shafiq, Miquel Pericàs, Nacho Nava...