21094 search results - page 90 / 4219 » An experiment using DLV-K |
170
click to vote
KBS
2002
15 years 5 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
189
click to vote
MICS
2008
15 years 5 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
199
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
146
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
This paper describes an ethnographic study completed within a kindergarten environment with the view of gaining insights into the development of new technology for young children....
146
click to vote
HASKELL
2009
ACM
16 years 21 days ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...