Sciweavers

6599 search results - page 226 / 1320
» Towards a Theory of Information
Sort
View
MEMOCODE
2007
IEEE
16 years 24 days ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
CSCW
2006
ACM
15 years 6 months ago
Seamless Integration: Standardisation across Multiple Local Settings
The pressure towards tighter or ``seamless'' integration of health information systems is a recurring issue with both practical and analytical relevance. It taps into a d...
Gunnar Ellingsen, Eric Monteiro
ISSA
2008
15 years 8 months ago
Towards a Framework for a Network Warfare Capability
Information warfare has surfaced as an emerging concept that affects not only military institutions but ordinary organisations as well. Information warfare in itself consists of v...
Namosha Veerasamy, Jan H. P. Eloff
DOCENG
2003
ACM
15 years 11 months ago
XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
Jean-Yves Vion-Dury
ECAI
2000
Springer
15 years 11 months ago
Towards Real-Time Search with Inadmissible Heuristics
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
Masashi Shimbo, Toru Ishida