Sciweavers

4048 search results - page 161 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
KBS
1998
96views more  KBS 1998»
15 years 22 days ago
Case-based content navigation
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
Ian Watson, Heather Watson
SECON
2008
IEEE
15 years 7 months ago
UDAE: Universal Data Access Engine for Sensor Networks
—We present the design and implementation of UDAE, a Universal Data Access Engine for wireless sensor networks. The UDAE allows developers to access data both locally and over th...
Krisakorn Rerkrai, Janne Riihijärvi, Petri M&...
114
Voted
CAD
2008
Springer
15 years 1 months ago
Detecting approximate symmetries of discrete point subsets
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
Ming Li, Frank C. Langbein, Ralph R. Martin
POPL
2008
ACM
16 years 1 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
CSE
2009
IEEE
15 years 7 months ago
Validation of Sociocultural Models and Meta-Models via Serious Games
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
K. Brock Stitts, Colleen L. Phillips, Norman D. Ge...